blob: 5018f776b240bfbb6eb5ca6d222ececf9d083e27 [file] [log] [blame]
# =============================================================================
# CMake module defining the Symbex project
# =============================================================================
message (STATUS "****** Defining project******")
# Definition of project name and supported languages
project (Symbex CXX C)
# Project structure : only add directories associated with the build of an
# internal library (i.e. containing a CMakeLists.txt defining a target)
# Sources within subdirectories are taken into account by the recursive
# look-up (see the specific CMakeLists.txt)
# Main target C++ source files (all files matching patterns)
file (GLOB_RECURSE MAIN_CXX_SRC_FILES main/*.cpp main/*.h)
# Main target definition (association to its sources)
add_executable (HippTest ${MAIN_CXX_SRC_FILES})
# Adhoc dependencies to force builds from sources (if a prerequisite is not found)
add_dependencies(HippTest rescan_cvc4)
add_dependencies(HippTest rescan_antlr2)
# Main target link - FIXME : duplicate fml and fam needed to link sucessfully
#target_link_libraries (HippTest)
target_link_libraries (HippTest ${ANTLR2_LIBRARIES} ${ANTLR3_LIBRARIES} ${Boost_LIBRARIES} ${CVC4_LIBRARIES} ${lib_gmp_c} ${lib_gmp_cxx})