Merge pull request #8397 from tautschnig/cadical-NDEBUG

Compile CaDiCaL with -DNDEBUG
diffblue · Jul 29, 2024 · ffbd3eb · ffbd3eb
2 parents 9dbbada + c0fd50b
commit ffbd3eb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/cadical_CMakeLists.txt b/scripts/cadical_CMakeLists.txt
@@ -9,7 +9,7 @@ add_library(cadical ${sources})
 
 # Pass -DNBUILD to disable including the version information, which is not
 # needed since cbmc doesn't run the cadical binary
-target_compile_options(cadical PUBLIC -DNBUILD -DNFLEXIBLE)
+target_compile_options(cadical PRIVATE -DNBUILD -DNFLEXIBLE -DNDEBUG)
 
 set_target_properties(
     cadical

diff --git a/src/solvers/Makefile b/src/solvers/Makefile
@@ -281,7 +281,7 @@ solvers$(LIBEXT): $(OBJ) $(SOLVER_LIB)
 	$(LINKLIB)
 
 ../../cadical/build/libcadical$(LIBEXT):
-	$(MAKE) $(MAKEARGS) -C $(CADICAL)/build libcadical.a CXX="$(CXX)" CXXFLAGS="$(CP_CXXFLAGS) -DNFLEXIBLE"
+	$(MAKE) $(MAKEARGS) -C $(CADICAL)/build libcadical.a CXX="$(CXX)" CXXFLAGS="$(CP_CXXFLAGS) -DNFLEXIBLE -DNDEBUG"
 
 -include smt2/smt2_solver$(DEPEXT)