diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2018-03-09 16:55:37 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2018-03-09 16:55:37 +0000 |
| commit | ebedae842dfb5811cdaa81975d4d167231441b89 (patch) | |
| tree | a32324c20928067cc4d1c2206cc52bfe32c9fa7b /math/z3 | |
| parent | 82c86e907651f880ec40e5aa79b48db93685ba9e (diff) | |
Notes
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index c71937ce89b3..f157400fe33b 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -11,7 +11,6 @@ COMMENT= Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt -BROKEN_powerpc64= Does not build # compiler picks ${LOCALBASE}/include/dictionary.h from iniparser CONFLICTS= iniparser-* |