# ============================================================================= | |
# CMake file for the SOLVER library | |
# ============================================================================= | |
# C++ source files to take into account (all files matching patterns recursively) | |
file (GLOB_RECURSE SOLVER_CXX_SRC_FILES *.cpp *.h) | |
# Target to build | |
add_library (solver STATIC ${SOLVER_CXX_SRC_FILES}) | |
# Include directories (internal) | |
target_include_directories (solver PUBLIC ..) #Â FIXME : explicit the dependencies lib by lib | |
# Target include directories (external) | |
target_include_directories (solver PUBLIC ${GMP_INCLUDE_DIR} ${GMPXX_INCLUDE_DIR}) | |
target_include_directories (solver PUBLIC ${Boost_INCLUDE_DIRS}) | |
target_include_directories (solver PUBLIC ${CVC4_INCLUDE_DIR} ${CVC4_INCLUDE_DIR}/cvc4) # FIXME (confusion between include/cvc4 or include/cvc4/cvc4) | |
add_dependencies(solver rescan_cvc4) |