diff options
Diffstat (limited to 'doc/CMakeLists.txt')
-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) |