[arch-commits] Commit in cvc4/trunk (PKGBUILD)
Antonio Rojas
arojas at archlinux.org
Sun Nov 6 22:08:24 UTC 2016
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
}
More information about the arch-commits
mailing list