[arch-commits] Commit in cvc4/repos/community-x86_64 (4 files)

[Antonio Rojas]

    Date: Tuesday, December 5, 2017 @ 08:04:01
  Author: arojas
Revision: 272214

archrelease: copy trunk to community-x86_64

Added:
  cvc4/repos/community-x86_64/PKGBUILD
    (from rev 272213, cvc4/trunk/PKGBUILD)
  cvc4/repos/community-x86_64/cvc4-gcc7.patch
    (from rev 272213, cvc4/trunk/cvc4-gcc7.patch)
Deleted:
  cvc4/repos/community-x86_64/PKGBUILD
  cvc4/repos/community-x86_64/cvc4-gcc7.patch

-----------------+
 PKGBUILD        |   68 +++++++++++++++++++++++++++---------------------------
 cvc4-gcc7.patch |   20 +++++++--------
 2 files changed, 44 insertions(+), 44 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2017-12-05 08:03:44 UTC (rev 272213)
+++ PKGBUILD	2017-12-05 08:04:01 UTC (rev 272214)
@@ -1,34 +0,0 @@
-# $Id$
-# Maintainer: Felix Yan <felixonmars at archlinux.org>
-# Contributor: Philipp Sieweck
-
-pkgname=cvc4
-pkgver=1.5
-pkgrel=1
-pkgdesc="An automatic theorem prover"
-arch=('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.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz" cvc4-gcc7.patch)
-sha256sums=('11ee2c3c182556a5ef750da9631191b3ad6c4ea592eb81d067a2edc41e57bd7b'
-            'be2a4a9c843da030b12215bebbd159f2b5acaa1465eb9d1aab2f10c350f4defa')
-
-prepare() {
-  cd $pkgname-$pkgver
-  patch -p1 -i ../cvc4-gcc7.patch # Fix build with GCC 7
-}
-
-build() {
-  cd $pkgname-$pkgver
-#  export CXXFLAGS+=" -std=gnu++98"
-  ./configure --prefix=/usr --enable-optimization --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-x86_64/PKGBUILD (from rev 272213, cvc4/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2017-12-05 08:04:01 UTC (rev 272214)
@@ -0,0 +1,34 @@
+# $Id$
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: Philipp Sieweck
+
+pkgname=cvc4
+pkgver=1.5
+pkgrel=1
+pkgdesc="An automatic theorem prover"
+arch=('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.stanford.edu/downloads/builds/src/cvc4-$pkgver.tar.gz" cvc4-gcc7.patch)
+sha256sums=('5d6b4f8ee8420f85e3f804181341cedf6ea32342c48f355a5be87754152b14e9'
+            'be2a4a9c843da030b12215bebbd159f2b5acaa1465eb9d1aab2f10c350f4defa')
+
+prepare() {
+  cd $pkgname-$pkgver
+  patch -p1 -i ../cvc4-gcc7.patch # Fix build with GCC 7
+}
+
+build() {
+  cd $pkgname-$pkgver
+#  export CXXFLAGS+=" -std=gnu++98"
+  ./configure --prefix=/usr --enable-optimization --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
+}

Deleted: cvc4-gcc7.patch
===================================================================
--- cvc4-gcc7.patch	2017-12-05 08:03:44 UTC (rev 272213)
+++ cvc4-gcc7.patch	2017-12-05 08:04:01 UTC (rev 272214)
@@ -1,10 +0,0 @@
---- 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>
- 

Copied: cvc4/repos/community-x86_64/cvc4-gcc7.patch (from rev 272213, cvc4/trunk/cvc4-gcc7.patch)
===================================================================
--- cvc4-gcc7.patch	                        (rev 0)
+++ cvc4-gcc7.patch	2017-12-05 08:04:01 UTC (rev 272214)
@@ -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>
+