[arch-commits] Commit in cvc4/repos (3 files)
Evangelos Foutras
foutrelis at archlinux.org
Fri Jan 11 07:59:57 UTC 2019
Date: Friday, January 11, 2019 @ 07:59:56
Author: foutrelis
Revision: 422303
archrelease: copy trunk to community-staging-x86_64
Added:
cvc4/repos/community-staging-x86_64/
cvc4/repos/community-staging-x86_64/PKGBUILD
(from rev 422302, cvc4/trunk/PKGBUILD)
cvc4/repos/community-staging-x86_64/cvc4-gcc7.patch
(from rev 422302, cvc4/trunk/cvc4-gcc7.patch)
-----------------+
PKGBUILD | 33 +++++++++++++++++++++++++++++++++
cvc4-gcc7.patch | 10 ++++++++++
2 files changed, 43 insertions(+)
Copied: cvc4/repos/community-staging-x86_64/PKGBUILD (from rev 422302, cvc4/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD (rev 0)
+++ community-staging-x86_64/PKGBUILD 2019-01-11 07:59:56 UTC (rev 422303)
@@ -0,0 +1,33 @@
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: Philipp Sieweck
+
+pkgname=cvc4
+pkgver=1.6
+pkgrel=2
+pkgdesc="An automatic theorem prover"
+arch=('x86_64')
+url="http://cvc4.cs.nyu.edu/web/"
+depends=('boost' 'libantlr3c' 'cln')
+makedepends=('python')
+optdepends=('readline: for an improved interaction support')
+license=('GPL' 'BSD' 'MIT' 'custom:HPND')
+source=("http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz" cvc4-gcc7.patch)
+sha512sums=('0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4'
+ '5b05fff54c1f610b4e1d9884812980529512a0656da66cf5f67a407eaf28e10da59fd06e9b34ee0200751a2e796df37e37df9dda406cc3a5ceaaf518c357a5d7')
+
+prepare() {
+ cd $pkgname-$pkgver
+ patch -p1 -i ../cvc4-gcc7.patch # Fix build with GCC 7
+}
+
+build() {
+ cd $pkgname-$pkgver
+ ./configure --prefix=/usr --disable-doxygen-doc --with-cln --enable-gpl
+ make
+}
+
+package() {
+ cd $pkgname-$pkgver
+ make prefix="$pkgdir"/usr install
+ install -Dm644 COPYING "$pkgdir"/usr/share/licenses/cvc4/LICENSE
+}
Copied: cvc4/repos/community-staging-x86_64/cvc4-gcc7.patch (from rev 422302, cvc4/trunk/cvc4-gcc7.patch)
===================================================================
--- community-staging-x86_64/cvc4-gcc7.patch (rev 0)
+++ community-staging-x86_64/cvc4-gcc7.patch 2019-01-11 07:59:56 UTC (rev 422303)
@@ -0,0 +1,10 @@
+--- cvc4-1.5/src/parser/memory_mapped_input_buffer.cpp.orig 2017-12-01 20:08:52.816279335 +0000
++++ cvc4-1.5/src/parser/memory_mapped_input_buffer.cpp 2017-12-01 20:09:02.786301783 +0000
+@@ -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