[arch-commits] Commit in cvc4/repos (6 files)

2016-11-06 Thread Bartłomiej Piotrowski 
Date: Sunday, November 6, 2016 @ 22:26:58
  Author: bpiotrowski
Revision: 194821

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  cvc4/repos/community-staging-i686/
  cvc4/repos/community-staging-i686/PKGBUILD
(from rev 194820, cvc4/trunk/PKGBUILD)
  cvc4/repos/community-staging-i686/configure-boost-version.patch
(from rev 194820, cvc4/trunk/configure-boost-version.patch)
  cvc4/repos/community-staging-x86_64/
  cvc4/repos/community-staging-x86_64/PKGBUILD
(from rev 194820, cvc4/trunk/PKGBUILD)
  cvc4/repos/community-staging-x86_64/configure-boost-version.patch
(from rev 194820, cvc4/trunk/configure-boost-version.patch)

+
 community-staging-i686/PKGBUILD|   40 +++
 community-staging-i686/configure-boost-version.patch   |   27 ++
 community-staging-x86_64/PKGBUILD  |   40 +++
 community-staging-x86_64/configure-boost-version.patch |   27 ++
 4 files changed, 134 insertions(+)

Copied: cvc4/repos/community-staging-i686/PKGBUILD (from rev 194820, 
cvc4/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2016-11-06 22:26:58 UTC (rev 194821)
@@ -0,0 +1,40 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Philipp Sieweck
+
+pkgname=cvc4
+pkgver=1.4
+pkgrel=5
+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
+  export CXXFLAGS+=" -std=gnu++98"
+  ./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"
+}

Copied: cvc4/repos/community-staging-i686/configure-boost-version.patch (from 
rev 194820, cvc4/trunk/configure-boost-version.patch)
===
--- community-staging-i686/configure-boost-version.patch
(rev 0)
+++ community-staging-i686/configure-boost-version.patch2016-11-06 
22:26:58 UTC (rev 194821)
@@ -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 - &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 
++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

Copied: cvc4/repos/community-staging-x86_64/PKGBUILD (from rev 194820, 
cvc4/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2016-11-06 22:26:58 UTC (rev 194821)
@@ -0,0 +1,40 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Philipp Sieweck
+
+pkgname=cvc4
+pkgver=1.4
+pkgrel=5
+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
+  export

[arch-commits] Commit in cvc4/repos (6 files)

2015-12-06 Thread Felix Yan 
Date: Monday, December 7, 2015 @ 08:32:49
  Author: fyan
Revision: 149709

archrelease: copy trunk to community-staging-i686, community-staging-x86_64

Added:
  cvc4/repos/community-staging-i686/
  cvc4/repos/community-staging-i686/PKGBUILD
(from rev 149708, cvc4/trunk/PKGBUILD)
  cvc4/repos/community-staging-i686/configure-boost-version.patch
(from rev 149708, cvc4/trunk/configure-boost-version.patch)
  cvc4/repos/community-staging-x86_64/
  cvc4/repos/community-staging-x86_64/PKGBUILD
(from rev 149708, cvc4/trunk/PKGBUILD)
  cvc4/repos/community-staging-x86_64/configure-boost-version.patch
(from rev 149708, cvc4/trunk/configure-boost-version.patch)

+
 community-staging-i686/PKGBUILD|   39 +++
 community-staging-i686/configure-boost-version.patch   |   27 ++
 community-staging-x86_64/PKGBUILD  |   39 +++
 community-staging-x86_64/configure-boost-version.patch |   27 ++
 4 files changed, 132 insertions(+)

Copied: cvc4/repos/community-staging-i686/PKGBUILD (from rev 149708, 
cvc4/trunk/PKGBUILD)
===
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2015-12-07 07:32:49 UTC (rev 149709)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Philipp Sieweck
+
+pkgname=cvc4
+pkgver=1.4
+pkgrel=4
+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"
+}

Copied: cvc4/repos/community-staging-i686/configure-boost-version.patch (from 
rev 149708, cvc4/trunk/configure-boost-version.patch)
===
--- community-staging-i686/configure-boost-version.patch
(rev 0)
+++ community-staging-i686/configure-boost-version.patch2015-12-07 
07:32:49 UTC (rev 149709)
@@ -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 - &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 
++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

Copied: cvc4/repos/community-staging-x86_64/PKGBUILD (from rev 149708, 
cvc4/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2015-12-07 07:32:49 UTC (rev 149709)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Philipp Sieweck
+
+pkgname=cvc4
+pkgver=1.4
+pkgrel=4
+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 --

[arch-commits] Commit in cvc4/repos (6 files)

2015-10-10 Thread Felix Yan 
Date: Saturday, October 10, 2015 @ 16:08:04
  Author: fyan
Revision: 143603

archrelease: copy trunk to community-i686, community-x86_64

Added:
  cvc4/repos/community-i686/
  cvc4/repos/community-i686/PKGBUILD
(from rev 143602, cvc4/trunk/PKGBUILD)
  cvc4/repos/community-i686/configure-boost-version.patch
(from rev 143602, cvc4/trunk/configure-boost-version.patch)
  cvc4/repos/community-x86_64/
  cvc4/repos/community-x86_64/PKGBUILD
(from rev 143602, cvc4/trunk/PKGBUILD)
  cvc4/repos/community-x86_64/configure-boost-version.patch
(from rev 143602, cvc4/trunk/configure-boost-version.patch)

+
 community-i686/PKGBUILD|   39 +++
 community-i686/configure-boost-version.patch   |   27 +++
 community-x86_64/PKGBUILD  |   39 +++
 community-x86_64/configure-boost-version.patch |   27 +++
 4 files changed, 132 insertions(+)

Copied: cvc4/repos/community-i686/PKGBUILD (from rev 143602, 
cvc4/trunk/PKGBUILD)
===
--- community-i686/PKGBUILD (rev 0)
+++ community-i686/PKGBUILD 2015-10-10 14:08:04 UTC (rev 143603)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# 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"
+}

Copied: cvc4/repos/community-i686/configure-boost-version.patch (from rev 
143602, cvc4/trunk/configure-boost-version.patch)
===
--- community-i686/configure-boost-version.patch
(rev 0)
+++ community-i686/configure-boost-version.patch2015-10-10 14:08:04 UTC 
(rev 143603)
@@ -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 - &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 
++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

Copied: cvc4/repos/community-x86_64/PKGBUILD (from rev 143602, 
cvc4/trunk/PKGBUILD)
===
--- community-x86_64/PKGBUILD   (rev 0)
+++ community-x86_64/PKGBUILD   2015-10-10 14:08:04 UTC (rev 143603)
@@ -0,0 +1,39 @@
+# $Id$
+# Maintainer: Felix Yan 
+# 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