diff options
author | Ariadne Conill <ariadne@dereferenced.org> | 2020-04-08 04:38:09 +0000 |
---|---|---|
committer | Ariadne Conill <ariadne@dereferenced.org> | 2020-04-08 04:38:09 +0000 |
commit | 2c3acb40f68eb4606f78297d1c28f3a0ead0db97 (patch) | |
tree | 9eebb38e098cc7c97e414857ec24bf7aa5b7a8f0 /community/z3/APKBUILD | |
parent | 1a2f35201c96cc2870994d13b795f7d9a75bbcf2 (diff) |
community/z3: disable on mips
Diffstat (limited to 'community/z3/APKBUILD')
-rw-r--r-- | community/z3/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index ae39f5708d8..4001dcf791f 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -5,7 +5,7 @@ pkgver=4.8.7 pkgrel=1 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" -arch="all !s390x !aarch64" +arch="all !s390x !aarch64 !mips !mips64" license="MIT" makedepends="cmake python3" subpackages="$pkgname-dev py3-$pkgname:py3:noarch" |