29 lines
528 B
CMake
29 lines
528 B
CMake
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)
|
|
|