Add cbmc and jbmc as install targets

smowton · smowton · commit 427b98faac86 · 2017-10-20T17:51:08.000+01:00
These were removed upstream, presumably because they don't really have
an install target at all, and only the cbmc binary was registered
diff --git a/cbmc/src/cbmc/CMakeLists.txt b/cbmc/src/cbmc/CMakeLists.txt
@@ -33,3 +33,5 @@ add_if_library(cbmc-lib jsil)
 # Executable
 add_executable(cbmc cbmc_main.cpp)
 target_link_libraries(cbmc cbmc-lib)
+
+install(TARGETS cbmc DESTINATION bin)
diff --git a/cbmc/src/jbmc/CMakeLists.txt b/cbmc/src/jbmc/CMakeLists.txt
@@ -34,3 +34,5 @@ add_if_library(jbmc-lib jsil)
 # Executable
 add_executable(jbmc jbmc_main.cpp)
 target_link_libraries(jbmc jbmc-lib)
+
+install(TARGETS jbmc DESTINATION bin)
