-
Notifications
You must be signed in to change notification settings - Fork 0
/
CMakeLists.txt
48 lines (42 loc) · 1.13 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
cmake_minimum_required( VERSION 2.8 )
project( proof_converter_inference )
set( sources
src/main.cc
src/Metamath_database.cc
src/Metamath_database_read_write.cc
src/Tokenizer.cc
src/Symbol.cc
src/Symbol_visitors.cc
src/Statement.cc
src/Symbol_visitors.cc
src/Named.cc
src/Scope.cc
src/verify.cc
src/Proof_step.cc
src/Proof_step_visitor.cc
)
set( headers
src/Metamath_database.h
src/Metamath_database_read_write.h
src/Tokenizer.h
src/Symbol.h
src/Statement_visitors.h
src/Statement.h
src/Statement_visitors.h
src/Named.h
src/Scope.h
src/verify.h
src/Proof_step.h
src/Proof_step_visitor.h
)
#include( src )
if( "${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" )
set( CMAKE_CXX_FLAGS "-std=c++11 -pedantic -Wall -Werror" )
elseif( "${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU" )
set( CMAKE_CXX_FLAGS "-std=c++11 -pedantic -Wall -Werror" )
elseif( "${CMAKE_CXX_COMPILER_ID}" STREQUAL "Intel" )
# using Intel C++
elseif( "${CMAKE_CXX_COMPILER_ID}" STREQUAL "MSVC" )
# using Visual Studio C++
endif()
add_executable( convert ${sources} ${headers} )