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 /doc | |
| parent | 2c68c3e9009d7c893f92b7023c2122c763e697ca (diff) | |
cmake: Add make install rule.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/CMakeLists.txt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index 6e9ba73fd..ffa8b7725 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -25,3 +25,16 @@ configure_file( configure_file( ${CMAKE_CURRENT_SOURCE_DIR}/options.3cvc_template.in ${CMAKE_CURRENT_BINARY_DIR}/options.3cvc_template) + +install(FILES ${CMAKE_CURRENT_BINARY_DIR}/cvc4.1 DESTINATION share/man/man1) +install(FILES ${CMAKE_CURRENT_BINARY_DIR}/cvc4.5 DESTINATION share/man/man5) +if(ENABLE_PORTFOLIO) + install(FILES ${CMAKE_CURRENT_BINARY_DIR}/cvc4.1 DESTINATION share/man/man1 + RENAME pcvc4.1) +endif() +install(FILES + ${CMAKE_CURRENT_BINARY_DIR}/libcvc4.3 + ${CMAKE_CURRENT_BINARY_DIR}/libcvc4parser.3 + ${CMAKE_CURRENT_BINARY_DIR}/options.3cvc + ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.3cvc + DESTINATION share/man/man3) |