We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9831960 commit 00e718dCopy full SHA for 00e718d
src/CMakeLists.txt
@@ -320,6 +320,7 @@ if (IPASIR)
320
endif()
321
322
cmsat_add_public_header(cryptominisat5 ${CMAKE_CURRENT_SOURCE_DIR}/cryptominisat_c.h )
323
+cmsat_add_public_header(cryptominisat5 ${CMAKE_CURRENT_SOURCE_DIR}/mpicosat/mpicosat.h )
324
cmsat_add_public_header(cryptominisat5 ${CMAKE_CURRENT_SOURCE_DIR}/cryptominisat.h )
325
cmsat_add_public_header(cryptominisat5 ${CMAKE_CURRENT_SOURCE_DIR}/solvertypesmini.h )
326
cmsat_add_public_header(cryptominisat5 ${CMAKE_CURRENT_SOURCE_DIR}/dimacsparser.h )
0 commit comments