+# SPDX-FileCopyrightText: 2021 Jiri Vlasak <jiri.vlasak.2@cvut.cz>
+#
+# SPDX-License-Identifier: GPL-3.0-only
+
cmake_minimum_required(VERSION 2.8)
project(bcar)
target_include_directories(pslot PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/incl)
target_link_libraries(pslot bcar)
+add_executable(compute_pslot_table src/compute_pslot_table.cc)
+target_link_libraries(compute_pslot_table pslot)
+
+add_executable(prove_parallel_slot src/prove_parallel_slot.cc)
+target_link_libraries(prove_parallel_slot pslot)
+
+add_executable(entry_positions_range src/entry_positions_range.cc)
+target_link_libraries(entry_positions_range pslot)
+
+add_executable(compare_to_vorobieva src/compare_to_vorobieva.cc)
+target_link_libraries(compare_to_vorobieva pslot)
+
+add_executable(compare_to_zips src/compare_to_zips.cc)
+target_link_libraries(compare_to_zips pslot)
+
+add_executable(compare_to_li src/compare_to_li.cc)
+target_link_libraries(compare_to_li pslot)
+
if (SKIP_UT)
return()
endif()