Date: Sat, 22 Sep 2018 20:31:22 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r480432 - head/math/z3 Message-ID: <201809222031.w8MKVMcN027854@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: arrowd Date: Sat Sep 22 20:31:22 2018 New Revision: 480432 URL: https://svnweb.freebsd.org/changeset/ports/480432 Log: math/z3: Add compiler:c++11-lang to USES. PR: 231604 Submitted by: Piotr Kubaj <pkubaj@anongoth.pl> Approved by: tcberner (mentor) Modified: head/math/z3/Makefile Modified: head/math/z3/Makefile ============================================================================== --- head/math/z3/Makefile Sat Sep 22 19:37:22 2018 (r480431) +++ head/math/z3/Makefile Sat Sep 22 20:31:22 2018 (r480432) @@ -12,7 +12,7 @@ COMMENT= Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt -USES= python:2.7,build +USES= compiler:c++11-lang python:2.7,build USE_GITHUB= yes GH_ACCOUNT= Z3Prover
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201809222031.w8MKVMcN027854>