Added a CMake build file
This commit is contained in:
parent
f2426dfdeb
commit
26550da28e
28
CMakeLists.txt
Normal file
28
CMakeLists.txt
Normal file
|
@ -0,0 +1,28 @@
|
|||
cmake_minimum_required(VERSION 3.0)
|
||||
|
||||
project(ltl2ba VERSION 1.1)
|
||||
|
||||
enable_language(C)
|
||||
set(CMAKE_C_STANDARD 99)
|
||||
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -DNXT")
|
||||
|
||||
add_library(ltl2ba STATIC
|
||||
parse.c
|
||||
lex.c
|
||||
trans.c
|
||||
buchi.c
|
||||
set.c
|
||||
mem.c
|
||||
rewrt.c
|
||||
cache.c
|
||||
alternating.c
|
||||
generalized.c
|
||||
util.c
|
||||
ltl2ba.h
|
||||
)
|
||||
target_include_directories(ltl2ba PRIVATE ${CMAKE_CURRENT_SOURCE_DIR}/lib)
|
||||
|
||||
add_executable(main main.c ltl2ba.h)
|
||||
set_target_properties(main PROPERTIES OUTPUT_NAME ltl2ba)
|
||||
target_link_libraries(main ltl2ba)
|
||||
|
Loading…
Reference in a new issue