blob: be5b1eacbc4136529b788d951b126fa4b7ec3107 (
plain)
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
###############################################################################
# Top contributors (to current version):
# Gereon Kremer, Mathias Preiner
#
# This file is part of the cvc5 project.
#
# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
# in the top-level source directory and their institutional affiliations.
# All rights reserved. See the file COPYING in the top-level source
# directory for licensing information.
# #############################################################################
#
# Find SymFPU
# SymFPU_FOUND - should always be true
# SymFPU - interface target for the SymFPU headers
##
find_path(SymFPU_INCLUDE_DIR NAMES symfpu/core/unpackedFloat.h)
set(SymFPU_FOUND_SYSTEM FALSE)
if(SymFPU_INCLUDE_DIR)
# Found SymFPU to be installed system-wide
set(SymFPU_FOUND_SYSTEM TRUE)
endif()
if(NOT SymFPU_FOUND_SYSTEM)
check_auto_download("SymFPU" "--no-symfpu")
include(ExternalProject)
include(deps-helper)
set(SymFPU_COMMIT "8fbe139bf0071cbe0758d2f6690a546c69ff0053")
ExternalProject_Add(
SymFPU-EP
${COMMON_EP_CONFIG}
URL https://github.com/martin-cs/symfpu/archive/${SymFPU_COMMIT}.tar.gz
URL_HASH SHA1=9e00045130b93e3c2a46ce73a1b5b6451340dc46
CONFIGURE_COMMAND ""
BUILD_COMMAND ""
INSTALL_COMMAND ${CMAKE_COMMAND} -E copy_directory <SOURCE_DIR>/core
<INSTALL_DIR>/include/symfpu/core
COMMAND ${CMAKE_COMMAND} -E copy_directory <SOURCE_DIR>/utils
<INSTALL_DIR>/include/symfpu/utils
)
set(SymFPU_INCLUDE_DIR "${DEPS_BASE}/include/")
endif()
set(SymFPU_FOUND TRUE)
add_library(SymFPU INTERFACE IMPORTED GLOBAL)
set_target_properties(
SymFPU PROPERTIES INTERFACE_INCLUDE_DIRECTORIES "${SymFPU_INCLUDE_DIR}"
)
mark_as_advanced(SymFPU_FOUND)
mark_as_advanced(SymFPU_FOUND_SYSTEM)
mark_as_advanced(SymFPU_INCLUDE_DIR)
if(SymFPU_FOUND_SYSTEM)
message(STATUS "Found SymFPU: ${SymFPU_INCLUDE_DIR}")
else()
message(STATUS "Building SymFPU: ${SymFPU_INCLUDE_DIR}")
add_dependencies(SymFPU SymFPU-EP)
endif()
|