| # ============================================================================= | |
| # CMake file for the FAM library | |
| # ============================================================================= | |
| # C++ source files to take into account (all files matching patterns, recursively) | |
| file (GLOB_RECURSE FAM_CXX_SRC_FILES *.cpp *.h) | |
| # Target to build | |
| add_library (fam STATIC ${FAM_CXX_SRC_FILES}) | |
| # Include directories (internal) | |
| target_include_directories (fam PUBLIC ..) | |
| # TODO : the previous form is an "all-catch" : every header of the project can be accessed | |
| # It is required because sources use relative path to src in their #include | |
| # This probably should be refactored to make build dependencies explicit in the CMakeLists | |
| # Target include directories (external) | |
| target_include_directories (fam PUBLIC ${GMP_INCLUDE_DIR} ${GMPXX_INCLUDE_DIR}) | |
| target_include_directories (fam PUBLIC ${Boost_INCLUDE_DIRS}) | |
| target_include_directories (fam PUBLIC ${CVC4_INCLUDE_DIR}) | |
| add_dependencies(fam rescan_cvc4) |