diff options
| author | Natanael Copa <ncopa@alpinelinux.org> | 2018-06-01 05:08:48 +0000 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2018-06-01 05:08:48 +0000 |
| commit | 27297cacd8b9ebc96671f4db9e4ec4a511fed9f7 (patch) | |
| tree | 53f24f4fcaca4498970913d8f64f1c363793f776 | |
| parent | d94a6f471503f31a2e4b27571ef32a6662f91216 (diff) | |
| download | aports-27297cacd8b9ebc96671f4db9e4ec4a511fed9f7.tar.bz2 aports-27297cacd8b9ebc96671f4db9e4ec4a511fed9f7.tar.xz | |
testing/z3: disable on s390x
test suite segfaults
| -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 39af103203..bf4338b991 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" +arch="all !s390x" license="MIT" depends="" makedepends="cmake python3" |