Only build cadical target in cadical package

zhassan-aws · zhassan-aws · commit dca8d0620041 · 2023-01-30T16:29:18.000-08:00
diff --git a/src/Makefile b/src/Makefile
@@ -177,7 +177,7 @@ cadical-download:
 	@$(TAR) xfz $(cadical_release).tar.gz
 	@rm -Rf ../cadical
 	@mv cadical-$(cadical_release) ../cadical
-	@cd ../cadical && ./configure -O3 -s CXX="$(CXX)" CXXFLAGS=-std=c++14 && make -j
+	@cd ../cadical && ./configure -O3 -s CXX="$(CXX)" CXXFLAGS=-std=c++14 && make -j cadical
 	@$(RM) $(cadical_release).tar.gz
 
 doc :
diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
@@ -74,7 +74,7 @@ download_project(PROJ cadical
 )
 
 message(STATUS "Building CaDiCaL")
-execute_process(COMMAND make -j WORKING_DIRECTORY ${cadical_SOURCE_DIR})
+execute_process(COMMAND make -j WORKING_DIRECTORY ${cadical_SOURCE_DIR} cadical)
 
 add_library(cadical STATIC IMPORTED)
 

Original file line number	Diff line number	Diff line change
`@@ -74,7 +74,7 @@ download_project(PROJ cadical`
`74`	`74`	`)`
`75`	`75`
`76`	`76`	`message(STATUS "Building CaDiCaL")`
`77`		`-execute_process(COMMAND make -j WORKING_DIRECTORY ${cadical_SOURCE_DIR})`
	`77`	`+execute_process(COMMAND make -j WORKING_DIRECTORY ${cadical_SOURCE_DIR} cadical)`
`78`	`78`
`79`	`79`	`add_library(cadical STATIC IMPORTED)`
`80`	`80`