1 # SPDX-FileCopyrightText: 2021 Jiri Vlasak <jiri.vlasak.2@cvut.cz>
3 # SPDX-License-Identifier: GPL-3.0-only
5 cmake_minimum_required(VERSION 2.8)
8 #set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS_DEBUG} -fno-omit-frame-pointer -fsanitize=address")
9 #set (CMAKE_LINKER_FLAGS "${CMAKE_LINKER_FLAGS_DEBUG} -fno-omit-frame-pointer -fsanitize=address")
11 add_compile_options(-Wall -Wextra -pedantic -Werror)
13 add_library(bcar STATIC src/bcar.cc)
14 target_include_directories(bcar PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/incl)
16 add_library(pslot STATIC src/pslot.cc)
17 target_include_directories(pslot PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/incl)
18 target_link_libraries(pslot bcar)
20 add_executable(compute_pslot_table src/compute_pslot_table.cc)
21 target_link_libraries(compute_pslot_table pslot)
23 add_executable(prove_parallel_slot src/prove_parallel_slot.cc)
24 target_link_libraries(prove_parallel_slot pslot)
26 add_executable(compare_to_vorobieva src/compare_to_vorobieva.cc)
27 target_link_libraries(compare_to_vorobieva pslot)
29 add_executable(compare_to_zips src/compare_to_zips.cc)
30 target_link_libraries(compare_to_zips pslot)
32 add_executable(compare_to_li src/compare_to_li.cc)
33 target_link_libraries(compare_to_li pslot)
39 wvtest/cpp/wvtestmain.cc
44 target_compile_definitions(ut PRIVATE WVTEST_CONFIGURED)
45 target_include_directories(ut PRIVATE ${CMAKE_CURRENT_SOURCE_DIR}/wvtest/cpp)
46 target_link_libraries(ut bcar pslot)
47 add_custom_command(TARGET ut
48 POST_BUILD COMMAND ./wvtestrun ../build/ut
49 WORKING_DIRECTORY ../wvtest