mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-11 07:22:22 +00:00
Code Issues Releases Activity

This port requires USES=compiler:c++11-lang to build on GCC-based

Browse Source 
architectures.

PR:		234336
Submitted by:	Piotr Kubaj
Approved by:	maintainer
This commit is contained in:
Mark Linimon 2019-01-12 23:11:23 +00:00
parent eac83ab52c
commit 6b227bdcfa
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=490085
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/py-z3-solver/Makefile
View File

@ -14,7 +14,7 @@ LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt
# CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
USES= python
USES= compiler:c++11-lang python
USE_GITHUB= yes
GH_ACCOUNT= Z3Prover
GH_PROJECT= z3