Added install command for required projects.

marek-trtik · marek-trtik · commit ae83e4e67f2e · 2017-09-22T11:23:39.000+01:00
diff --git a/src/goto-instrument/CMakeLists.txt b/src/goto-instrument/CMakeLists.txt
@@ -34,3 +34,5 @@ add_if_library(goto-instrument-lib glpk)
 # Executable
 add_executable(goto-instrument goto_instrument_main.cpp)
 target_link_libraries(goto-instrument goto-instrument-lib)
+
+install(TARGETS goto-instrument DESTINATION bin)
diff --git a/src/symex/CMakeLists.txt b/src/symex/CMakeLists.txt
@@ -33,3 +33,5 @@ add_if_library(symex-lib php)
 add_executable(symex symex_main.cpp)
 
 target_link_libraries(symex symex-lib)
+
+install(TARGETS symex DESTINATION bin)
