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 }