Date: Saturday, October 10, 2015 @ 16:07:00
Author: fyan
Revision: 143602
addpkg: cvc4 1.4-3
Added:
cvc4/
cvc4/repos/
cvc4/trunk/
cvc4/trunk/PKGBUILD
cvc4/trunk/configure-boost-version.patch
-------------------------------+
PKGBUILD | 39 +++++++++++++++++++++++++++++++++++++++
configure-boost-version.patch | 27 +++++++++++++++++++++++++++
2 files changed, 66 insertions(+)
Added: cvc4/trunk/PKGBUILD
===================================================================
--- cvc4/trunk/PKGBUILD (rev 0)
+++ cvc4/trunk/PKGBUILD 2015-10-10 14:07:00 UTC (rev 143602)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan <felixonm...@archlinux.org>
+# Contributor: Philipp Sieweck
+
+pkgname=cvc4
+pkgver=1.4
+pkgrel=3
+pkgdesc="An automatic theorem prover"
+arch=('i686' 'x86_64')
+url="http://cvc4.cs.nyu.edu/web/";
+depends=('boost' 'libantlr3c' 'cln')
+optdepends=('readline: for an improved interaction support')
+license=('GPL' 'BSD' 'MIT' 'custom:HPND')
+source=("http://cvc4.cs.nyu.edu/builds/src/cvc4-$pkgver.tar.gz";
+ configure-boost-version.patch)
+md5sums=('581c559c02b94fcb18b2e5b11432e009'
+ 'd9cbfad2415d4a675ebabf3f7c5cdd5d')
+
+prepare() {
+ patch "$srcdir"/cvc4-$pkgver/configure configure-boost-version.patch
+}
+
+build() {
+ cd "$srcdir"/cvc4-$pkgver
+ ./configure --prefix=/usr --enable-optimization --disable-doxygen-doc
--with-cln --enable-gpl
+ make
+}
+
+package() {
+ cd "$srcdir"/cvc4-$pkgver
+ make prefix="$pkgdir"/usr install
+ install -D COPYING "$pkgdir"/usr/share/licenses/cvc4/LICENCE
+
+ cd "$pkgdir"
+ rmdir "usr/share/perl5" "usr/lib/pyshared" "usr/lib/php" "usr/lib/jni" \
+ "usr/lib/csharp" "usr/share/java" "usr/share/php" "usr/share/csharp" \
+ "usr/lib/ruby" "usr/lib/tcltk" "usr/lib/perl5" "usr/share/pyshared" \
+ "usr/lib/ocaml/cvc4" "usr/lib/ocaml"
+}
Property changes on: cvc4/trunk/PKGBUILD
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Id
\ No newline at end of property
Added: cvc4/trunk/configure-boost-version.patch
===================================================================
--- cvc4/trunk/configure-boost-version.patch (rev 0)
+++ cvc4/trunk/configure-boost-version.patch 2015-10-10 14:07:00 UTC (rev
143602)
@@ -0,0 +1,27 @@
+--- configure~ 2014-07-13 19:47:37.469270988 +0200
++++ configure 2015-06-09 13:46:07.731066225 +0200
+@@ -24795,17 +24795,15 @@
+ if ${boost_cv_lib_version+:} false; then :
+ $as_echo_n "(cached) " >&6
+ else
+- cat confdefs.h - <<_ACEOF >conftest.$ac_ext
++ cat confdefs.h - <<EOF >conftest.c
+ /* end confdefs.h. */
+ #include <boost/version.hpp>
+-boost-lib-version = BOOST_LIB_VERSION
+-_ACEOF
+-if (eval "$ac_cpp conftest.$ac_ext") 2>&5 |
+- tr -d '\r' |
+- $SED -n -e "/^boost-lib-version = /{s///;s/\"//g;p;q;}" >conftest.i 2>&1;
then :
+- boost_cv_lib_version=`cat conftest.i`
+-fi
+-rm -rf conftest*
++#include <stdio.h>
++int main(int argc, char **argv) { printf("%s\n", BOOST_LIB_VERSION); return
0; }
++EOF
++ gcc conftest.c -o conftest
++ boost_cv_lib_version=`./conftest`
++ rm -f conftest conftest.c
+
+ fi
+ { $as_echo "$as_me:${as_lineno-$LINENO}: result: $boost_cv_lib_version" >&5
