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