Fix ipasir-cadical build flags

tautschnig · tautschnig · commit cd3a17792059 · 2021-08-13T09:03:14.000Z
CaDiCaL should be built with optimisations turned on, and the compiler
must not be hard-coded. This is now consistent with sat_impl=cadical
build flags.
diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
@@ -139,7 +139,7 @@ elseif("${sat_impl}" STREQUAL "ipasir-cadical")
     download_project(PROJ cadical
         URL https://github.com/arminbiere/cadical/archive/rel-1.4.1.tar.gz
         PATCH_COMMAND true
-        COMMAND ./configure CXX=g++
+        COMMAND CXX=${CMAKE_CXX_COMPILER} ./configure -O3 -s CXXFLAGS=-std=c++14
         URL_MD5 b44874501a175106424f4bd5de29aa59
     )
 

Original file line number	Diff line number	Diff line change
`@@ -139,7 +139,7 @@ elseif("${sat_impl}" STREQUAL "ipasir-cadical")`
`139`	`139`	`download_project(PROJ cadical`
`140`	`140`	`URL https://github.com/arminbiere/cadical/archive/rel-1.4.1.tar.gz`
`141`	`141`	`PATCH_COMMAND true`
`142`		`- COMMAND ./configure CXX=g++`
	`142`	`+ COMMAND CXX=${CMAKE_CXX_COMPILER} ./configure -O3 -s CXXFLAGS=-std=c++14`
`143`	`143`	`URL_MD5 b44874501a175106424f4bd5de29aa59`
`144`	`144`	`)`
`145`	`145`