diff options
| author | Steve Wills <swills@FreeBSD.org> | 2016-04-21 16:43:14 +0000 |
|---|---|---|
| committer | Steve Wills <swills@FreeBSD.org> | 2016-04-21 16:43:14 +0000 |
| commit | 86cd4fbe5a7a1a14d0869f64442e2f2b4cc1cbf9 (patch) | |
| tree | 216cef2d134f1181f622a8119ac12546632249a7 /math/z3/Makefile | |
| parent | 34788c02dc1c2d225a65f1624b22dd7ca4896e92 (diff) | |
Notes
Diffstat (limited to 'math/z3/Makefile')
| -rw-r--r-- | math/z3/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 273645320707..cc156bcf535d 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -11,6 +11,8 @@ COMMENT= Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt +BROKEN_powerpc64= Does not build + USE_GITHUB= yes GH_ACCOUNT= Z3Prover |