diff options
| author | A. Wilcox <awilcox@wilcox-tech.com> | 2020-06-19 22:54:45 +0000 |
|---|---|---|
| committer | A. Wilcox <awilcox@wilcox-tech.com> | 2020-06-19 22:54:45 +0000 |
| commit | dc3b4f9e3104dc06e72229f36726f6c8cbb5b8da (patch) | |
| tree | ae07ed256bef48692e90a02c709214f6117a34db /user/z3/APKBUILD | |
| parent | 1cacafa78c61834f07abdf5de9fbb7ab6d63a620 (diff) | |
| parent | bf59364ccef65000e448eaae4791efc630e10a09 (diff) | |
| download | packages-dc3b4f9e3104dc06e72229f36726f6c8cbb5b8da.tar.gz packages-dc3b4f9e3104dc06e72229f36726f6c8cbb5b8da.tar.bz2 packages-dc3b4f9e3104dc06e72229f36726f6c8cbb5b8da.tar.xz packages-dc3b4f9e3104dc06e72229f36726f6c8cbb5b8da.zip | |
Merge branch 'fix/z3-pmmx' into 'master'
user/z3: fix build on pmmx
See merge request adelie/packages!472
Diffstat (limited to 'user/z3/APKBUILD')
| -rw-r--r-- | user/z3/APKBUILD | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/user/z3/APKBUILD b/user/z3/APKBUILD index adac93a71..262a7f530 100644 --- a/user/z3/APKBUILD +++ b/user/z3/APKBUILD @@ -2,7 +2,7 @@ # Maintainer: A. Wilcox <awilfox@adelielinux.org> pkgname=z3 pkgver=4.8.7 -pkgrel=0 +pkgrel=1 pkgdesc="Mathematical theorem prover" url=" " arch="all" @@ -10,9 +10,15 @@ license="MIT" depends="" makedepends="gmp-dev python3-dev cmd:which" subpackages="$pkgname-dev py3-$pkgname:py3:noarch" -source="https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz" +source="https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz + _trailing_zeros32.patch + " builddir="$srcdir/z3-z3-$pkgver" +case "$CARCH" in +pmmx) options="$options textrels";; +esac + build() { PYTHON=python3 ./configure \ --prefix=/usr \ @@ -37,4 +43,5 @@ py3() { mv "$pkgdir"/usr/lib/python3* "$subpkgdir"/usr/lib/ } -sha512sums="145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c z3-4.8.7.tar.gz" +sha512sums="145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c z3-4.8.7.tar.gz +6cf6ee35b23f9ef9fe879369a1900c82d38836f245e927f0f80eb6361e3340c32c8b94f00b1cb69eb8cad1626675b8f7b9bdaecffa5072cd5e8b12ecf1e7e3c0 _trailing_zeros32.patch" |