-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathCMakeLists.txt
More file actions
55 lines (40 loc) · 1.29 KB
/
CMakeLists.txt
File metadata and controls
55 lines (40 loc) · 1.29 KB
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
cmake_minimum_required(VERSION 2.6)
project(RocketScience C CXX)
# $config
set(CMAKE_VERBOSE_MAKEFILE OFF) # ON
if(NOT CMAKE_BUILD_TYPE)
set(CMAKE_BUILD_TYPE RelWithDebInfo)
endif(NOT CMAKE_BUILD_TYPE)
set(CMAKE_BUILD_TYPE Debug) # don't get rid of assertions
# use c++11
if(CMAKE_COMPILER_IS_GNUCXX)
add_definitions(-fno-strict-aliasing)
add_definitions(-Wall -Wextra)
add_definitions(-fshow-column)
set(CMAKE_CXX_FLAGS ${CMAKE_CXX_FLAGS} -std=c++11)
endif(CMAKE_COMPILER_IS_GNUCXX)
if(${CMAKE_CXX_COMPILER_ID} MATCHES "Clang")
set(CMAKE_CXX_FLAGS ${CMAKE_CXX_FLAGS} "-std=c++11") # -ftemplate-depth=512
endif()
# Boost
# FIND_PACKAGE( Boost 1.55 COMPONENTS regex REQUIRED )
# INCLUDE_DIRECTORIES( ${Boost_INCLUDE_DIR} )
# adds test target
enable_testing()
# includes
# TODO: this could be cooler (why is the include in lib/cudd/CMakeLists.txt) ignored?
include_directories(lib/cudd/cudd)
include_directories(lib/cudd/dddmp)
include_directories(lib/cudd/epd)
include_directories(lib/cudd/mtr)
include_directories(lib/cudd/obj)
include_directories(lib/cudd/st)
include_directories(lib/cudd/util)
include_directories(lib/cudd/obj)
include_directories(lib/parse)
include_directories(lib/parserlib)
include_directories(src)
# sources
add_subdirectory(lib)
add_subdirectory(src)
add_subdirectory(test)