Revert "Use more portable form for running configure"

This reverts commit dc434a7.

Author: zhassan-aws

src/solvers/CMakeLists.txt

@@ -69,7 +69,7 @@ message(STATUS "Building solvers with 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
 )
 
@@ -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 ./configure -O3 -s CXX=${CMAKE_CXX_COMPILER} CXXFLAGS=-std=c++14
+        COMMAND CXX=${CMAKE_CXX_COMPILER} ./configure -O3 -s CXXFLAGS=-std=c++14
         URL_MD5 b44874501a175106424f4bd5de29aa59
     )