diff options
| author | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2018-06-01 21:00:35 +0000 |
|---|---|---|
| committer | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2018-06-01 21:00:35 +0000 |
| commit | eae65937329dde73190e4b89b725a92bcd6dc073 (patch) | |
| tree | e406debfaef4c25761d838fb45b9bb60f6cff4d7 | |
| parent | 632b8f9be61d4e819a24a5b2c2e6b699069fd027 (diff) | |
| download | aports-eae65937329dde73190e4b89b725a92bcd6dc073.tar.bz2 aports-eae65937329dde73190e4b89b725a92bcd6dc073.tar.xz | |
testing/z3: disable on aarch64
test suite also segfaults on aarch64
| -rw-r--r-- | testing/z3/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD index 79786ffc5b..60149f11bd 100644 --- a/testing/z3/APKBUILD +++ b/testing/z3/APKBUILD @@ -5,7 +5,7 @@ pkgver=4.6.0 pkgrel=3 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" -arch="all !s390x !ppc64le" +arch="all !s390x !ppc64le !aarch64" license="MIT" depends="" makedepends="cmake python3" |