Make pose range headings positive only

[hubacji1/bcar.git] / CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9d6a77bf590b158ca1ea2312ad5b6c3381b38104..a79e109384e22d8129486f255d78c57a56e93b32 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -13,6 +13,12 @@ add_library(pslot STATIC src/pslot.cc)
 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)
+
 if (SKIP_UT)
        return()
 endif()