diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-28 19:46:53 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-28 19:46:53 +0000 |
commit | 2f15e89145ad68f1809dd15abb6b659a3817b260 (patch) | |
tree | 3ebf28421e2d9d9dbb5b8c91c0ac1351081d8603 /src/parser/cvc | |
parent | 623e4c71b3ec579a5933b3c65dd1da67b007f6c9 (diff) |
better fix for #281, also fix issue with command line options not existing on older g++en, like Apple's 4.2 on Snow Leopard.
Diffstat (limited to 'src/parser/cvc')
-rw-r--r-- | src/parser/cvc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am index b78335516..fb5cc7fc7 100644 --- a/src/parser/cvc/Makefile.am +++ b/src/parser/cvc/Makefile.am @@ -1,7 +1,7 @@ AM_CPPFLAGS = \ -D__BUILDING_CVC4PARSERLIB \ -I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../.. $(ANTLR_INCLUDES) -AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable -Wno-conversion-null +AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable $(WNO_CONVERSION_NULL) # Compile generated C files using C++ compiler CC=$(CXX) |