Pass make target as first argument

zhassan-aws · zhassan-aws · commit fedd088f8b3f · 2023-01-19T20:44:09.000-08:00
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} cadical)
+execute_process(COMMAND make cadical -j WORKING_DIRECTORY ${cadical_SOURCE_DIR})
 
 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} cadical)`
	`77`	`+execute_process(COMMAND make cadical -j WORKING_DIRECTORY ${cadical_SOURCE_DIR})`
`78`	`78`
`79`	`79`	`add_library(cadical STATIC IMPORTED)`
`80`	`80`