community/z3: add link to upstream issue for s390x test failure

See Z3Prover/z3#6213
alpinelinux · Jul 31, 2022 · a87699f · a87699f
1 parent 3dca616
commit a87699f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD
@@ -5,7 +5,8 @@ pkgver=4.10.2
 pkgrel=0
 pkgdesc="Theorem prover from Microsoft Research"
 url="https://github.com/Z3Prover/z3"
-arch="all !s390x" # tests fail
+# s390x: https://github.com/Z3Prover/z3/issues/6213
+arch="all !s390x"
 license="MIT"
 makedepends="cmake python3 samurai"
 subpackages="$pkgname-dev py3-$pkgname:py3:noarch"