forked from oprecomp/flexfloat
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCMakeLists.txt
84 lines (60 loc) · 2.57 KB
/
CMakeLists.txt
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
cmake_minimum_required(VERSION 3.1)
project(FlexFloat)
set(CMAKE_CXX_STANDARD_REQUIRED ON)
set(CMAKE_CXX_STANDARD 11)
if(NOT CMAKE_BUILD_TYPE)
set(CMAKE_BUILD_TYPE Release)
endif(NOT CMAKE_BUILD_TYPE)
#SET(CMAKE_C_COMPILER "/usr/bin/gcc-7")
#SET(CMAKE_CXX_COMPILER "/usr/bin/g++-7")
#SET(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -flto")
#SET(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -flto")
#set(CMAKE_AR "gcc-ar-7")
#SET(CMAKE_C_ARCHIVE_CREATE "<CMAKE_AR> qcs <TARGET> <LINK_FLAGS> <OBJECTS>")
#SET(CMAKE_C_ARCHIVE_FINISH true)
set(CMAKE_C_FLAGS_DEBUG "-O0 -g3 -DGTEST_HAS_TR1_TUPLE=0 -DGTEST_USE_OWN_TR1_TUPLE=0")
set(CMAKE_C_FLAGS_RELEASE "-O3 -DGTEST_HAS_TR1_TUPLE=0 -DGTEST_USE_OWN_TR1_TUPLE=0 -DNDEBUG")
set(CMAKE_CXX_FLAGS_DEBUG "-O0 -g3 -DGTEST_HAS_TR1_TUPLE=0 -DGTEST_USE_OWN_TR1_TUPLE=0")
set(CMAKE_CXX_FLAGS_RELEASE "-O3 -DGTEST_HAS_TR1_TUPLE=0 -DGTEST_USE_OWN_TR1_TUPLE=0 -DNDEBUG")
### Create a static library
set(library_SOURCES
src/flexfloat.c
)
add_library(flexfloat STATIC ${library_SOURCES})
target_include_directories(flexfloat PUBLIC ${PROJECT_SOURCE_DIR}/include)
option(SINGLE_BACKEND "Use single-precision type (float) as a backend type instead of double precision" OFF)
option(QUAD_BACKEND "Use quad-precision type (_Float128) as a backend type instead of double precision" OFF)
option(DISABLE_ROUNDING "Disable the library support to IEEE rounding modes (truncation is always applied)" OFF)
option(ENABLE_FLAGS "Enable support for floating-point exception flags" OFF)
option(ENABLE_STATS "Enable collection of statistics" OFF)
option(ENABLE_TRACKING "Enable track of error accumulation on program variables" OFF)
if(SINGLE_BACKEND)
file(WRITE include/flexfloat_config.h "#define FLEXFLOAT_ON_SINGLE\n" )
elseif(QUAD_BACKEND)
file(WRITE include/flexfloat_config.h "#define FLEXFLOAT_ON_QUAD\n" )
else()
file(WRITE include/flexfloat_config.h "#define FLEXFLOAT_ON_DOUBLE\n" )
endif()
if(DISABLE_ROUNDING)
file(APPEND include/flexfloat_config.h "#define FLEXFLOAT_NO_ROUNDING\n" )
endif()
if(ENABLE_FLAGS)
file(APPEND include/flexfloat_config.h "#define FLEXFLOAT_FLAGS\n" )
endif()
if(ENABLE_STATS)
file(APPEND include/flexfloat_config.h "#define FLEXFLOAT_STATS\n" )
endif()
if(ENABLE_TRACKING)
file(APPEND include/flexfloat_config.h "#define FLEXFLOAT_TRACKING\n" )
endif()
### Unit testing
option(BUILD_TESTS "Enable unit testing of FlexFloat" ON)
if(BUILD_TESTS)
enable_testing()
add_subdirectory(test)
endif()
### Examples
option(BUILD_EXAMPLES "Build FlexFloat examples" ON)
if(BUILD_EXAMPLES)
add_subdirectory(examples)
endif()