Use CXXFLAGS when compiling parsers (#197)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sun, 16 Jul 2017 16:22:32 +0000 (12:22 -0400)
committerGitHub <noreply@github.com>
Sun, 16 Jul 2017 16:22:32 +0000 (12:22 -0400)
commit28693db66c42bf48b9d748aba869d4fe149b6b44
tree0cae2401999b8ed00a68255de210ec700bf841d0
parent9197b224c797df44753612efb0d52087789ec772
Use CXXFLAGS when compiling parsers (#197)

ANTLR generates C files that we compile with the C++ compiler.
To do so, we set CC=CXX in the `Makefile.am`s of the parsers.
Previously, we did not copy the CXXFLAGS to the CFLAGS, which
could result in problems, e.g. when using -std=gnu++11 in the
CXXFLAGS, compiling the parsers would fail if they used C++11
features (configure.ac usually modifies CXX to include the
-std=gnu++11 flag but if it is included in CXXFLAGS, the CXX
is not changed).
src/parser/cvc/Makefile.am
src/parser/smt1/Makefile.am
src/parser/smt2/Makefile.am
src/parser/tptp/Makefile.am