Add check for limit of number of node children (#3035)
[cvc5.git] / cmake / FindABC.cmake
1 # Find ABC
2 # ABC_FOUND - system has ABC lib
3 # ABC_INCLUDE_DIR - the ABC include directory
4 # ABC_LIBRARIES - Libraries needed to use ABC
5 # ABC_ARCH_FLAGS - Platform specific compile flags
6
7
8 # Check default location of ABC built with contrib/get-abc.
9 if(NOT ABC_HOME)
10 set(ABC_HOME ${PROJECT_SOURCE_DIR}/abc/alanmi-abc-53f39c11b58d)
11 endif()
12
13 # Note: We don't check the system version since ABC does not provide a default
14 # install rule.
15 find_path(ABC_INCLUDE_DIR
16 NAMES base/abc/abc.h
17 PATHS ${ABC_HOME}/src
18 NO_DEFAULT_PATH)
19 find_library(ABC_LIBRARIES
20 NAMES abc
21 PATHS ${ABC_HOME}
22 NO_DEFAULT_PATH)
23 find_program(ABC_ARCH_FLAGS_PROG
24 NAMES arch_flags
25 PATHS ${ABC_HOME}
26 NO_DEFAULT_PATH)
27
28 if(ABC_ARCH_FLAGS_PROG)
29 execute_process(COMMAND ${ABC_ARCH_FLAGS_PROG}
30 OUTPUT_VARIABLE ABC_ARCH_FLAGS)
31 endif()
32
33 include(FindPackageHandleStandardArgs)
34 find_package_handle_standard_args(ABC
35 DEFAULT_MSG
36 ABC_INCLUDE_DIR ABC_LIBRARIES ABC_ARCH_FLAGS)
37
38 mark_as_advanced(ABC_INCLUDE_DIR ABC_LIBRARIES ABC_ARCH_FLAGS)
39 if(ABC_LIBRARIES)
40 message(STATUS "Found ABC libs: ${ABC_LIBRARIES}")
41 endif()