projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8a156e8)
adding an option to minisat to not do any debug checks/output
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 3 Feb 2010 23:45:53 +0000 (23:45 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 3 Feb 2010 23:45:53 +0000 (23:45 +0000)
src/prop/minisat/Makefile.am patch | blob | history

diff --git a/src/prop/minisat/Makefile.am b/src/prop/minisat/Makefile.am
index 609c25dd73dc343f66975e8d9e3689f5ce4af5b5..9cde8ae2d8616be19487c8e2d811cc62351a4cc6 100644 (file)
--- a/src/prop/minisat/Makefile.am
+++ b/src/prop/minisat/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
        -D__BUILDING_CVC4LIB \
        -I@srcdir@/mtl -I@srcdir@/core -I@srcdir@/../../include
-AM_CXXFLAGS = -Wall -fvisibility=hidden
+AM_CXXFLAGS = -Wall -fvisibility=hidden -DNDEBUG
 
 noinst_LTLIBRARIES = libminisat.la
 libminisat_la_SOURCES = \