diff options
| author | Natanael Copa <ncopa@alpinelinux.org> | 2018-06-01 09:28:11 +0000 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2018-06-01 09:28:11 +0000 |
| commit | adfae8d22a61a08096a255fc132beea23b610932 (patch) | |
| tree | 08c700d6bd7703fb259fd46d5c5f4c4c8027a2e7 /testing | |
| parent | 9fbfadaf500cfbaad83fad9fed1968d1c6ebf7b0 (diff) | |
| download | aports-adfae8d22a61a08096a255fc132beea23b610932.tar.bz2 aports-adfae8d22a61a08096a255fc132beea23b610932.tar.xz | |
testing/z3: disable on ppc64le
tests fails
Diffstat (limited to 'testing')
| -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 bf4338b991..79786ffc5b 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" +arch="all !s390x !ppc64le" license="MIT" depends="" makedepends="cmake python3" |