sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 01:39:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/z3: Add compiler:c++11-lang to USES.

Browse source 
PR:		231604
Submitted by:	Piotr Kubaj <pkubaj@anongoth.pl>
Approved by:	tcberner (mentor)
This commit is contained in:
Gleb Popov 2018-09-22 20:31:22 +00:00
parent 05acb2ea84
commit db8c5aa67e
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=480432
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/z3/Makefile
View file

@ -12,7 +12,7 @@ COMMENT= Z3 Theorem Prover
LICENSE= MIT LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE.txt LICENSE_FILE= ${WRKSRC}/LICENSE.txt
USES= python:2.7,build USES= compiler:c++11-lang python:2.7,build
USE_GITHUB= yes USE_GITHUB= yes
GH_ACCOUNT= Z3Prover GH_ACCOUNT= Z3Prover