diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-12 11:10:01 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 479aebfc657eb9bc90fad550f51ec3b3d2efec76 (patch) | |
tree | ea4f7ff7b016d59954f57ec333e553655e64cdac /src/main | |
parent | 2c68c3e9009d7c893f92b7023c2122c763e697ca (diff) |
cmake: Add make install rule.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index a95517929..a0cbd3b77 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -36,6 +36,7 @@ set_target_properties(cvc4-bin OUTPUT_NAME cvc4 RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin) target_link_libraries(cvc4-bin cvc4 cvc4parser) +install(TARGETS cvc4-bin DESTINATION bin) if(ENABLE_PORTFOLIO) set(pcvc4_src_files @@ -56,6 +57,7 @@ if(ENABLE_PORTFOLIO) RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin) target_link_libraries(pcvc4-bin cvc4 cvc4parser ${Boost_LIBRARIES}) target_include_directories(pcvc4-bin PRIVATE ${Boost_INCLUDE_DIRS}) + install(TARGETS pcvc4-bin DESTINATION bin) endif() if(USE_READLINE) |