diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-27 14:45:54 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-27 14:46:19 +0000 |
| commit | 43251ef42e11660c6cd0c76afd89830777ba6337 (patch) | |
| tree | f1e837ba07ede1e189e9e4d25d7b6afaf1dde43b /math/z3 | |
| parent | ba22698a846e80862fabda05f6f52e4fa67fb67b (diff) | |
Diffstat (limited to 'math/z3')
| -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 621b39118daf..f716e2716d9e 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -10,6 +10,8 @@ WWW= https://github.com/Z3Prover/z3 LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt +BROKEN_i386= unknown flag -msimd128 + USES= compiler:c++11-lang python:build USE_GITHUB= yes GH_ACCOUNT= Z3Prover |