cmake/FindCVC4.cmake


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

if (USE_CVC4)
    find_path(CVC4_INCLUDE_DIR cvc4/cvc4.h)
    find_library(CVC4_LIBRARY NAMES cvc4)
    include(FindPackageHandleStandardArgs)
    find_package_handle_standard_args(CVC4 DEFAULT_MSG CVC4_LIBRARY CVC4_INCLUDE_DIR)
    if(CVC4_FOUND)
        # CVC4 may depend on either CLN or GMP.
        # We can assume that the one it requires is present on the system,
        # so we quietly try to find both and link against them, if they are
        # present.
        find_package(CLN QUIET)
        find_package(GMP QUIET)

        set(CVC4_LIBRARIES ${CVC4_LIBRARY})

        if (CLN_FOUND)
            set(CVC4_LIBRARIES ${CVC4_LIBRARIES} ${CLN_LIBRARY})
        endif ()

        if (GMP_FOUND)
            set(CVC4_LIBRARIES ${CVC4_LIBRARIES} ${GMP_LIBRARY})
        endif ()
    endif()
else()
    set(CVC4_FOUND FALSE)
endif()