Use more portable form for running configure

zhassan-aws · zhassan-aws · commit dc434a7c90d7 · 2023-01-19T16:28:17.000-08:00
diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
@@ -142,7 +142,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 CXX=${CMAKE_CXX_COMPILER} ./configure -O3 -s CXXFLAGS=-std=c++14
+        COMMAND ./configure -O3 -s CXX=${CMAKE_CXX_COMPILER} CXXFLAGS=-std=c++14
         URL_MD5 b44874501a175106424f4bd5de29aa59
     )
 

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