fix fp issue (#2940)
[cvc5.git] / cmake / FindSymFPU.cmake
1 # Find SymFPU
2 # SymFPU_FOUND - system has SymFPU lib
3 # SymFPU_INCLUDE_DIR - the SymFPU include directory
4
5
6 # Check default location of SymFPU built with contrib/get-symfpu.
7 # If the user provides a directory we will not search the default paths and
8 # fail if SymFPU was not found in the specified directory.
9 if(NOT SymFPU_HOME)
10 set(SymFPU_HOME ${PROJECT_SOURCE_DIR}/symfpu-CVC4)
11 set(CHECK_SYSTEM_VERSION TRUE)
12 endif()
13
14 find_path(SymFPU_INCLUDE_DIR
15 NAMES symfpu/core/unpackedFloat.h
16 PATHS ${SymFPU_HOME}
17 NO_DEFAULT_PATH)
18
19 if(CHECK_SYSTEM_VERSION)
20 find_path(SymFPU_INCLUDE_DIR NAMES symfpu/core/unpackedFloat.h)
21 endif()
22
23 include(FindPackageHandleStandardArgs)
24 find_package_handle_standard_args(SymFPU DEFAULT_MSG SymFPU_INCLUDE_DIR)
25
26 mark_as_advanced(SymFPU_INCLUDE_DIR)