CuPAAL/CMakeLists.txt at main · AAU-Dat/CuPAAL · GitHub

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
cmake_minimum_required(VERSION 3.28)
project(cupaal VERSION 1.0)

set(CMAKE_CXX_STANDARD 20)
set(CMAKE_CXX_STANDARD_REQUIRED True)
#set(CMAKE_BUILD_TYPE Debug)
set(CMAKE_POSITION_INDEPENDENT_CODE ON)


add_executable(${PROJECT_NAME} main.cpp)

set(storm_DIR /opt/storm/build)
find_package(storm REQUIRED)

set(HEADER_FILES "")

target_include_directories(${PROJECT_NAME} PUBLIC ${HEADER_FILES} ${storm_INCLUDE_DIR})
target_link_libraries(${PROJECT_NAME} PRIVATE storm storm-parsers BaumWelch CuddExtensions Helpers)
target_link_directories(${PROJECT_NAME} PUBLIC /src/)

add_library(BaumWelch src/cupaal/baum_welch.cpp src/cupaal/baum_welch.h)
target_include_directories(BaumWelch PUBLIC ${HEADER_FILES} ${storm_INCLUDE_DIR})
target_link_libraries(BaumWelch PRIVATE storm storm-parsers)

add_library(CuddExtensions src/cupaal/cudd_extensions.cpp src/cupaal/cudd_extensions.h)
target_include_directories(CuddExtensions
        PUBLIC
        /opt/storm/build/resources/3rdparty/cudd-3.0.0/include
        /opt/storm/resources/3rdparty/cudd-3.0.0/cudd
        /opt/storm/build/resources/3rdparty/cudd-3.0.0/src/cudd3-build
        /opt/storm/resources/3rdparty/cudd-3.0.0/st
        /opt/storm/resources/3rdparty/cudd-3.0.0/epd
        /opt/storm/resources/3rdparty/cudd-3.0.0/util
)

add_library(Helpers src/cupaal/helpers.cpp src/cupaal/helpers.h)
target_include_directories(Helpers PUBLIC ${HEADER_FILES} ${storm_INCLUDE_DIR})
target_link_libraries(Helpers PRIVATE storm storm-parsers)

find_package(Python REQUIRED COMPONENTS Interpreter Development)
find_package(pybind11 CONFIG REQUIRED)
message(STATUS "Found pybind11 v${pybind11_VERSION}: ${pybind11_INCLUDE_DIRS}")


add_library(cupaal_bindings SHARED
        $<TARGET_OBJECTS:BaumWelch>
        $<TARGET_OBJECTS:CuddExtensions>
        $<TARGET_OBJECTS:Helpers>
        bindings/cupaal-bindings.cpp
)

target_link_libraries(cupaal_bindings
    PRIVATE
    Helpers
    BaumWelch
    CuddExtensions
    storm
    storm-parsers
    pybind11::module
)

target_include_directories(cupaal_bindings PRIVATE
    ${Python3_INCLUDE_DIRS}
    ${storm_INCLUDE_DIR}
    ${CMAKE_SOURCE_DIR}/src
)