Upgrade CaDiCaL to 1.4.0

Armin Biere has released the version of CaDiCaL competing in the 2021
SAT competition.

Author: tautschnig

src/Makefile

@@ -152,14 +152,14 @@ glucose-download:
 	@(cd ../glucose-syrup; patch -p1 < ../scripts/glucose-syrup-patch)
 	@rm glucose-syrup.tgz
 
-cadical_release = rel-1.3.0
+cadical_release = rel-1.4.0
 cadical-download:
 	@echo "Downloading CaDiCaL $(cadical_release)"
 	@$(DOWNLOADER) https://github.com/arminbiere/cadical/archive/$(cadical_release).tar.gz
 	@$(TAR) xfz $(cadical_release).tar.gz
 	@rm -Rf ../cadical
 	@mv cadical-$(cadical_release) ../cadical
-	@cd ../cadical && CXX=$(CXX) ./configure -O3 -s -j && make
+	@cd ../cadical && CXX=$(CXX) ./configure -O3 -s && make -j
 	@$(RM) $(cadical_release).tar.gz
 
 doc :

src/solvers/CMakeLists.txt

@@ -102,14 +102,14 @@ elseif("${sat_impl}" STREQUAL "cadical")
     message(STATUS "Building solvers with cadical")
 
     download_project(PROJ cadical
-        URL https://github.com/arminbiere/cadical/archive/rel-1.3.0.tar.gz
+        URL https://github.com/arminbiere/cadical/archive/rel-1.4.0.tar.gz
         PATCH_COMMAND true
-        COMMAND CXX=${CMAKE_CXX_COMPILER} ./configure -O3 -s -j
-        URL_MD5 5bd15d1e198d2e904a8af8b7873dd341
+        COMMAND CXX=${CMAKE_CXX_COMPILER} ./configure -O3 -s
+        URL_MD5 9bad586a82995a1d95d1197d445a353a
     )
 
     message(STATUS "Building CaDiCaL")
-    execute_process(COMMAND make WORKING_DIRECTORY ${cadical_SOURCE_DIR})
+    execute_process(COMMAND make -j WORKING_DIRECTORY ${cadical_SOURCE_DIR})
 
     target_compile_definitions(solvers PUBLIC
         SATCHECK_CADICAL HAVE_CADICAL