diff options
| author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2023-08-12 16:29:24 +0000 |
|---|---|---|
| committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2023-08-13 14:48:43 +0000 |
| commit | c5c56663debb6d25bc6353669dcad7575f6b7223 (patch) | |
| tree | 060ce739c7514aef7328654869da3380f736083d /math/py-z3-solver | |
| parent | b9968413c84488a46fa959ff2381660797c773fe (diff) | |
| download | ports-c5c56663debb6d25bc6353669dcad7575f6b7223.tar.gz ports-c5c56663debb6d25bc6353669dcad7575f6b7223.zip | |
Diffstat (limited to 'math/py-z3-solver')
| -rw-r--r-- | math/py-z3-solver/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index d496b3e8c2db..846b2a1d1877 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -1,6 +1,7 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- DISTVERSION= 4.8.17 +PORTREVISION= 1 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -24,7 +25,6 @@ GH_ACCOUNT= Z3Prover GH_PROJECT= z3 CFLAGS_armv7= -fPIC -CFLAGS_powerpc= -fPIC WRKSRC_SUBDIR= src/api/python |