blob: 2cb86b259bf3e786191495a8e20954e078187917 (
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
cmake_minimum_required (VERSION 3.0.1)
#-----------------------------------------------------------------------------#
project (cvc4)
#-----------------------------------------------------------------------------#
set (CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake)
set(CMAKE_C_STANDARD 99)
set(CMAKE_CXX_STANDARD 11)
#-----------------------------------------------------------------------------#
include(CheckCCompilerFlag)
include(CheckCXXCompilerFlag)
macro(add_c_flag flag)
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${flag}")
endmacro()
macro(add_check_c_flag flag)
check_c_compiler_flag("${flag}" HAVE_FLAG_${flag})
if(HAVE_FLAG_${flag})
add_c_flag(${flag})
endif()
endmacro()
macro(add_cxx_flag flag)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${flag}")
endmacro()
macro(add_check_cxx_flag flag)
check_cxx_compiler_flag("${flag}" HAVE_FLAG_${flag})
if(HAVE_FLAG_${flag})
add_cxx_flag(${flag})
endif()
endmacro()
macro(add_c_cxx_flag flag)
add_c_flag(${flag})
add_cxx_flag(${flag})
message(STATUS "Configure with flag '${flag}'")
endmacro()
macro(add_check_c_cxx_flag flag)
add_check_c_flag(${flag})
add_check_cxx_flag(${flag})
message(STATUS "Configure with flag '${flag}'")
endmacro()
#-----------------------------------------------------------------------------#
set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
message(STATUS "LIB directory is '${CMAKE_BINARY_DIR}/lib'")
message(STATUS "BIN directory is '${CMAKE_BINARY_DIR}/bin'")
#-----------------------------------------------------------------------------#
set(build_types Debug Production)
if(NOT CMAKE_BUILD_TYPE)
message(STATUS "No build type set, options are: ${build_types}")
set(CMAKE_BUILD_TYPE Production CACHE STRING "Options are: ${build_types}" FORCE)
# Provide drop down menu options in cmake-gui
set_property(CACHE CMAKE_BUILD_TYPE PROPERTY STRINGS ${build_types})
endif()
message(STATUS "Building ${CMAKE_BUILD_TYPE} build")
#-----------------------------------------------------------------------------#
find_package(PythonInterp REQUIRED)
find_package(GMP REQUIRED)
message(STATUS "Found GMP headers: ${GMP_INCLUDE_DIR}")
set(LIBRARIES ${LIBRARIES} ${GMP_LIBRARIES})
include_directories(${GMP_INCLUDE_DIR})
find_package(ANTLR REQUIRED)
message(STATUS "Found ANTLR headers: ${ANTLR_INCLUDE_DIR}")
set(LIBRARIES ${LIBRARIES} ${ANTLR_LIBRARIES})
include_directories(${ANTLR_INCLUDE_DIR})
#-----------------------------------------------------------------------------#
add_check_c_flag("-fexceptions")
add_check_c_cxx_flag("-Wno-deprecated")
#-----------------------------------------------------------------------------#
set(VERSION "1.6.0-prerelease")
string(TIMESTAMP MAN_DATE "%Y-%m-%d")
#-----------------------------------------------------------------------------#
include(GetGitRevisionDescription)
get_git_head_revision(GIT_REFSPEC GIT_SHA1)
git_local_changes(GIT_IS_DIRTY)
if(${GIT_IS_DIRTY} STREQUAL "DIRTY")
set(GIT_IS_DIRTY "true")
else()
set(GIT_IS_DIRTY "false")
endif()
execute_process(
COMMAND "${GIT_EXECUTABLE}" rev-parse --abbrev-ref HEAD
OUTPUT_VARIABLE GIT_BRANCH
OUTPUT_STRIP_TRAILING_WHITESPACE
)
#-----------------------------------------------------------------------------#
# CONFIGURATION (for now manual)
# src/util/rational.h.in
# src/util/integer.h.in
set(CVC4_NEED_INT64_T_OVERLOADS 0)
set(CVC4_USE_CLN_IMP 0)
set(CVC4_USE_GMP_IMP 1)
set(CVC4_USE_SYMFPU 0)
#-----------------------------------------------------------------------------#
add_subdirectory(doc)
add_subdirectory(proofs/signatures)
add_subdirectory(src)
|