diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-07-16 12:22:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-16 12:22:32 -0400 |
| commit | 28693db66c42bf48b9d748aba869d4fe149b6b44 (patch) | |
| tree | 0cae2401999b8ed00a68255de210ec700bf841d0 /src/parser/smt2 | |
| parent | 9197b224c797df44753612efb0d52087789ec772 (diff) | |
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).
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt2/Makefile.am b/src/parser/smt2/Makefile.am index fece5e5e8..995e442e6 100644 --- a/src/parser/smt2/Makefile.am +++ b/src/parser/smt2/Makefile.am @@ -5,6 +5,7 @@ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) $(WNO_PARENTH # Compile generated C files using C++ compiler AM_CFLAGS = $(AM_CXXFLAGS) +CFLAGS=$(CXXFLAGS) CC=$(CXX) ANTLR_OPTS = |