diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-16 21:49:42 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-16 21:49:42 +0000 |
commit | 7c5ed2290cff5247df673b87d9401993d3ca0fc3 (patch) | |
tree | ff5e8ef54beb4218b75042066101afd480a19063 /test | |
parent | 5e857e4329c7e02b236a466e49009cfac0fa1d4a (diff) |
Fixing failures in minisat
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index 7d6f6ff50..f25862b54 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -49,8 +49,11 @@ if HAVE_CXXTESTGEN AM_CPPFLAGS = \ -I. "-I@CXXTEST@" "-I@top_srcdir@/src/include" \ "-I@top_srcdir@/src" "-I@top_builddir@/src" \ + "-I@top_srcdir@/src/prop/minisat" \ + -D __STDC_LIMIT_MACROS \ + -D __STDC_FORMAT_MACROS \ $(ANTLR_INCLUDES) $(TEST_CPPFLAGS) -AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(TEST_CXXFLAGS) +AM_CXXFLAGS = -Wall -Wno-unknown-pragmas -Wno-parentheses $(TEST_CXXFLAGS) AM_LDFLAGS = $(TEST_LDFLAGS) AM_CXXFLAGS_WHITE = -fno-access-control -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST |