diff options
| -rw-r--r-- | .SRCINFO | 9 | ||||
| -rw-r--r-- | PKGBUILD | 22 | ||||
| -rw-r--r-- | reproducible-builds.patch | 20 |
3 files changed, 43 insertions, 8 deletions
@@ -1,12 +1,15 @@ pkgbase = vampire pkgdesc = A theorem prover for first-order logic - pkgver = 4.4 + pkgver = 4.5.1 pkgrel = 1 url = https://vprover.github.io/ arch = x86_64 license = custom:Vampire Software Licence Agreement - source = https://github.com/vprover/vampire/archive/4.4.tar.gz - sha512sums = 774452836e4cc6b7f2bcffc581b2fec0f15574adb58b4ab9fb3c771392aee2d34073129b8be32d73927f6613e83785e5d3d2ab161fe4eb09a039a0dee983a31a + depends = z3 + source = https://github.com/vprover/vampire/archive/4.5.1.tar.gz + source = reproducible-builds.patch + sha512sums = dada4d91d96cdfe7a0f345f64d3c0e5ce2c909965cb8a90fd25d12ff4a8ee61e02b473d2e0054d90ae2930f5606728ff6b51ceb780c7ae1f5b35925f3b10fae4 + sha512sums = 894f739b84a006bce1e59109776b00ced190fc2cc30abedde2d5a50e6654efe63607d04c9815c780fddfc02a2cf0821afd558307f7e89f7bae9dbbfb52411b94 pkgname = vampire @@ -1,22 +1,34 @@ # Maintainer: Patrick Lühne <patrick-arch@luehne.de> pkgname=vampire -pkgver=4.4 +pkgver=4.5.1 +_commit_description='57a6f78c on 2020-07-15 11:59:04 +0200' pkgrel=1 pkgdesc='A theorem prover for first-order logic' arch=('x86_64') url='https://vprover.github.io/' license=('custom:Vampire Software Licence Agreement') -source=("https://github.com/vprover/${pkgname}/archive/${pkgver}.tar.gz") -sha512sums=('774452836e4cc6b7f2bcffc581b2fec0f15574adb58b4ab9fb3c771392aee2d34073129b8be32d73927f6613e83785e5d3d2ab161fe4eb09a039a0dee983a31a') +depends=('z3') +source=("https://github.com/vprover/${pkgname}/archive/${pkgver}.tar.gz" + 'reproducible-builds.patch') +sha512sums=('dada4d91d96cdfe7a0f345f64d3c0e5ce2c909965cb8a90fd25d12ff4a8ee61e02b473d2e0054d90ae2930f5606728ff6b51ceb780c7ae1f5b35925f3b10fae4' + '894f739b84a006bce1e59109776b00ced190fc2cc30abedde2d5a50e6654efe63607d04c9815c780fddfc02a2cf0821afd558307f7e89f7bae9dbbfb52411b94') + +prepare() { + cd "${pkgname}-${pkgver}" + patch --forward --strip=1 --input="${srcdir}/reproducible-builds.patch" +} build() { cd "${pkgname}-${pkgver}" - make vampire_rel BRANCH= COM_CNT= + mkdir build + cd build + cmake .. -DCMAKE_BUILD_TYPE=Release -DZ3_DIR=/usr/lib/cmake/z3/ -DVAMPIRE_AUR_GIT_COMMIT_DESCRIPTION="${_commit_description}" + make } package() { cd "${pkgname}-${pkgver}" - install -D "${pkgname}_rel__" "${pkgdir}/usr/bin/${pkgname}" + install -D "build/bin/${pkgname}" -t "${pkgdir}/usr/bin/" install -D -m644 README.md -t "${pkgdir}/usr/share/doc/${pkgname}" install -D -m644 LICENCE -t "${pkgdir}/usr/share/licenses/${pkgname}" } diff --git a/reproducible-builds.patch b/reproducible-builds.patch new file mode 100644 index 000000000000..ace9ac4308b8 --- /dev/null +++ b/reproducible-builds.patch @@ -0,0 +1,20 @@ +diff -Naur package.orig/CMakeLists.txt package.new/CMakeLists.txt +--- package.orig/CMakeLists.txt ++++ package.new/CMakeLists.txt +@@ -862,6 +862,16 @@ + set(VAMPIRE_BINARY_REV_COUNT "_${GIT_REV_COUNT}") + endif() + ++set(VAMPIRE_AUR_GIT_COMMIT_DESCRIPTION "" CACHE STRING "Overwrite the automatically generated commit description") ++set(VAMPIRE_BINARY_BUILD "") ++set(VAMPIRE_BINARY_STATIC "") ++set(VAMPIRE_BINARY_Z3 "") ++set(VAMPIRE_BINARY_HASH "") ++set(VAMPIRE_BINARY_BRANCH "") ++set(VAMPIRE_BINARY_REV_COUNT "") ++set(GIT_COMMIT_DESCRIPTION "${VAMPIRE_AUR_GIT_COMMIT_DESCRIPTION}") ++target_compile_options(vampire PUBLIC "-fmacro-prefix-map=${CMAKE_SOURCE_DIR}=.") ++ + ################# set binary name ####################### + set(VAMPIRE_BINARY "vampire${VAMPIRE_BINARY_Z3}${VAMPIRE_BINARY_BUILD}${VAMPIRE_BINARY_STATIC}${VAMPIRE_BINARY_BRANCH}${VAMPIRE_BINARY_REV_COUNT}") + message(STATUS "Setting binary name to " "${VAMPIRE_BINARY}") |