[arch-commits] Commit in cvc4/repos/community-x86_64 (6 files)
Felix Yan
felixonmars at archlinux.org
Mon Sep 14 11:30:38 UTC 2020
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 <felixonmars at 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 <felixonmars at 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>
+
+
More information about the arch-commits
mailing list