Date: Monday, September 14, 2020 @ 11:30:37 Author: felixonmars Revision: 705971
archrelease: copy trunk to community-x86_64 Added: cvc4/repos/community-x86_64/PKGBUILD (from rev 705970, cvc4/trunk/PKGBUILD) cvc4/repos/community-x86_64/cvc4-fix-headers.patch (from rev 705970, cvc4/trunk/cvc4-fix-headers.patch) cvc4/repos/community-x86_64/cvc4-gcc7.patch (from rev 705970, cvc4/trunk/cvc4-gcc7.patch) Deleted: cvc4/repos/community-x86_64/PKGBUILD cvc4/repos/community-x86_64/cvc4-fix-headers.patch cvc4/repos/community-x86_64/cvc4-gcc7.patch ------------------------+ PKGBUILD | 112 +++++++++++++++++++++++------------------------ cvc4-fix-headers.patch | 18 +++---- cvc4-gcc7.patch | 22 ++++----- 3 files changed, 76 insertions(+), 76 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2020-09-14 11:30:23 UTC (rev 705970) +++ PKGBUILD 2020-09-14 11:30:37 UTC (rev 705971) @@ -1,56 +0,0 @@ -# Maintainer: Felix Yan <felixonm...@archlinux.org> -# Contributor: Philipp Sieweck - -pkgname=cvc4 -pkgver=1.8 -pkgrel=1 -pkgdesc="An automatic theorem prover" -arch=('x86_64') -url="https://cvc4.github.io/" -depends=('boost' 'libantlr3c' 'cln') -makedepends=('python-toml' 'cmake' 'java-runtime') -optdepends=('readline: for an improved interaction support') -license=('GPL' 'BSD' 'MIT' 'custom:HPND') -source=("https://github.com/CVC4/CVC4/archive/$pkgver/$pkgname-$pkgver.tar.gz" - "https://www.antlr3.org/download/antlr-3.4-complete.jar" - cvc4-fix-headers.patch - cvc4-gcc7.patch) -noextract=('antlr-3.4-complete.jar') -sha512sums=('19e318a62f0a6dfeea4db5225b150550f1e7afcf42a3547bad1ff2030aca7a7713fe29e7059f2dc391eaa18b0cd4183f99ab2dca5008979cb8881b46b8dc01f2' - '04be4dfba3a21f3ab9d9e439a64958bd8e844a9f151b798383bd9e0dd6ebc416783ae7cb1d1dbb27fb7288ab9756b13b8338cdb8ceb41a10949c852ad45ab1f2' - 'f6a60c2b95c348f7e8abffc79befef0910ff962143b0b5f89f9b3c9798fff575a9bfc71ae8271c9e56e2f5e400539879b440df23aef7c23664eaec9cd5d6fe10' - 'ff5d60141f97394b625c336614afa5a6429d775bed12e277ad1bc64b84f865a958fb075185fb9726ea8ca443b55aedb1a8d114840f016ed8e639dbcf77aa3783') - -prepare() { - cd "$srcdir/CVC4-$pkgver" - - patch -p1 -i ../cvc4-fix-headers.patch - patch -p1 -i ../cvc4-gcc7.patch - - mkdir -p antlr-3.4/bin - tee antlr-3.4/bin/antlr3 <<EOF -#!/bin/bash -export CLASSPATH=$srcdir/antlr-3.4-complete.jar:\$CLASSPATH -exec java org.antlr.Tool "\$@" -EOF - chmod a+x antlr-3.4/bin/antlr3 -} - -build() { - cd "$srcdir/CVC4-$pkgver" - export PATH="$PATH:$PWD/antlr-3.4/bin" - ./configure.sh --prefix=/usr --cln --gpl - cd build - make -} - -check() { - cd "$srcdir/CVC4-$pkgver/build" - make check -} - -package() { - cd "$srcdir/CVC4-$pkgver/build" - make DESTDIR="$pkgdir/" install - install -Dm644 "$srcdir/CVC4-$pkgver/COPYING" "$pkgdir"/usr/share/licenses/cvc4/LICENSE -} Copied: cvc4/repos/community-x86_64/PKGBUILD (from rev 705970, cvc4/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2020-09-14 11:30:37 UTC (rev 705971) @@ -0,0 +1,56 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Philipp Sieweck + +pkgname=cvc4 +pkgver=1.8 +pkgrel=2 +pkgdesc="An automatic theorem prover" +arch=('x86_64') +url="https://cvc4.github.io/" +depends=('boost-libs' 'libantlr3c' 'cln') +makedepends=('boost' 'cmake' 'java-runtime' 'python-toml') +optdepends=('readline: for an improved interaction support') +license=('GPL' 'BSD' 'MIT' 'custom:HPND') +source=("https://github.com/CVC4/CVC4/archive/$pkgver/$pkgname-$pkgver.tar.gz" + "https://www.antlr3.org/download/antlr-3.4-complete.jar" + cvc4-fix-headers.patch + cvc4-gcc7.patch) +noextract=('antlr-3.4-complete.jar') +sha512sums=('19e318a62f0a6dfeea4db5225b150550f1e7afcf42a3547bad1ff2030aca7a7713fe29e7059f2dc391eaa18b0cd4183f99ab2dca5008979cb8881b46b8dc01f2' + '04be4dfba3a21f3ab9d9e439a64958bd8e844a9f151b798383bd9e0dd6ebc416783ae7cb1d1dbb27fb7288ab9756b13b8338cdb8ceb41a10949c852ad45ab1f2' + 'f6a60c2b95c348f7e8abffc79befef0910ff962143b0b5f89f9b3c9798fff575a9bfc71ae8271c9e56e2f5e400539879b440df23aef7c23664eaec9cd5d6fe10' + 'ff5d60141f97394b625c336614afa5a6429d775bed12e277ad1bc64b84f865a958fb075185fb9726ea8ca443b55aedb1a8d114840f016ed8e639dbcf77aa3783') + +prepare() { + cd "$srcdir/CVC4-$pkgver" + + patch -p1 -i ../cvc4-fix-headers.patch + patch -p1 -i ../cvc4-gcc7.patch + + mkdir -p antlr-3.4/bin + tee antlr-3.4/bin/antlr3 <<EOF +#!/bin/bash +export CLASSPATH=$srcdir/antlr-3.4-complete.jar:\$CLASSPATH +exec java org.antlr.Tool "\$@" +EOF + chmod a+x antlr-3.4/bin/antlr3 +} + +build() { + cd "$srcdir/CVC4-$pkgver" + export PATH="$PATH:$PWD/antlr-3.4/bin" + ./configure.sh --prefix=/usr --cln --gpl + cd build + make +} + +check() { + cd "$srcdir/CVC4-$pkgver/build" + make check +} + +package() { + cd "$srcdir/CVC4-$pkgver/build" + make DESTDIR="$pkgdir/" install + install -Dm644 "$srcdir/CVC4-$pkgver/COPYING" "$pkgdir"/usr/share/licenses/cvc4/LICENSE +} Deleted: cvc4-fix-headers.patch =================================================================== --- cvc4-fix-headers.patch 2020-09-14 11:30:23 UTC (rev 705970) +++ cvc4-fix-headers.patch 2020-09-14 11:30:37 UTC (rev 705971) @@ -1,9 +0,0 @@ ---- a/src/CMakeLists.txt -+++ b/src/CMakeLists.txt -@@ -915,4 +915,4 @@ - # Note: This is a temporary fix until the new C++ API is in place. - install(CODE "execute_process(COMMAND - ${CMAKE_CURRENT_LIST_DIR}/fix-install-headers.sh -- ${CMAKE_INSTALL_PREFIX})") -+ \$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX})") - Copied: cvc4/repos/community-x86_64/cvc4-fix-headers.patch (from rev 705970, cvc4/trunk/cvc4-fix-headers.patch) =================================================================== --- cvc4-fix-headers.patch (rev 0) +++ cvc4-fix-headers.patch 2020-09-14 11:30:37 UTC (rev 705971) @@ -0,0 +1,9 @@ +--- a/src/CMakeLists.txt ++++ b/src/CMakeLists.txt +@@ -915,4 +915,4 @@ + # Note: This is a temporary fix until the new C++ API is in place. + install(CODE "execute_process(COMMAND + ${CMAKE_CURRENT_LIST_DIR}/fix-install-headers.sh +- ${CMAKE_INSTALL_PREFIX})") ++ \$ENV{DESTDIR}${CMAKE_INSTALL_PREFIX})") + Deleted: cvc4-gcc7.patch =================================================================== --- cvc4-gcc7.patch 2020-09-14 11:30:23 UTC (rev 705970) +++ cvc4-gcc7.patch 2020-09-14 11:30:37 UTC (rev 705971) @@ -1,11 +0,0 @@ ---- a/src/parser/memory_mapped_input_buffer.cpp -+++ b/src/parser/memory_mapped_input_buffer.cpp -@@ -17,6 +17,7 @@ - #include <fcntl.h> - #include <stdio.h> - #include <stdint.h> -+#include <unistd.h> - - #include <antlr3input.h> - - Copied: cvc4/repos/community-x86_64/cvc4-gcc7.patch (from rev 705970, cvc4/trunk/cvc4-gcc7.patch) =================================================================== --- cvc4-gcc7.patch (rev 0) +++ cvc4-gcc7.patch 2020-09-14 11:30:37 UTC (rev 705971) @@ -0,0 +1,11 @@ +--- a/src/parser/memory_mapped_input_buffer.cpp ++++ b/src/parser/memory_mapped_input_buffer.cpp +@@ -17,6 +17,7 @@ + #include <fcntl.h> + #include <stdio.h> + #include <stdint.h> ++#include <unistd.h> + + #include <antlr3input.h> + +