[arch-commits] Commit in cvc4/trunk (PKGBUILD)

[Antonio Rojas]

    Date: Sunday, November 6, 2016 @ 22:08:23
  Author: arojas
Revision: 194819

Use C++98 to fix build

Modified:
  cvc4/trunk/PKGBUILD

----------+
 PKGBUILD |    1 +
 1 file changed, 1 insertion(+)

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2016-11-06 21:15:47 UTC (rev 194818)
+++ PKGBUILD    2016-11-06 22:08:23 UTC (rev 194819)
@@ -22,6 +22,7 @@
 
 build() {
   cd "$srcdir"/cvc4-$pkgver
+  export CXXFLAGS+=" -std=gnu++98"
   ./configure --prefix=/usr --enable-optimization --disable-doxygen-doc 
--with-cln --enable-gpl
   make
 }