archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2025-02-16 23:57:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

community/z3 to 4.8.8-1

Browse source
This commit is contained in:
Kevin Mihelich 2020-05-10 22:01:32 +00:00
parent 4dce2d1303
commit 001c374c5c
1 changed files with 3 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
community/z3/PKGBUILD
View file

@ -4,11 +4,10 @@
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
# - set -DZ3_LINK_TIME_OPTIMIZATION=OFF
# - upstream patch to fix ARM FTBFS
pkgbase=z3
pkgname=('z3' 'python-z3')
pkgver=4.8.7
pkgver=4.8.8
pkgrel=1
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'
@ -16,15 +15,12 @@ arch=('x86_64')
license=('MIT')
# 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
makedepends=('cmake' 'python' 'python-setuptools' 'gcc-libs' 'gmp')
source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz
https://github.com/Z3Prover/z3/commit/e212159f4e941c78fc03239e0884f2f0454f581f.patch)
sha512sums=('145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c'
'6cf6ee35b23f9ef9fe879369a1900c82d38836f245e927f0f80eb6361e3340c32c8b94f00b1cb69eb8cad1626675b8f7b9bdaecffa5072cd5e8b12ecf1e7e3c0')
source=(https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz)
sha512sums=('a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f')
prepare() {
cd ${pkgbase}-z3-${pkgver}
mkdir -p build
patch -p1 -i ../e212159f4e941c78fc03239e0884f2f0454f581f.patch
}
build() {