diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-17 11:07:31 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 6f2daa4e9834d0348c7eeec0dcb3dddbd98ca934 (patch) | |
tree | d802ab0d41edff7bb8d773cb18bdc379387140ad /doc/CMakeLists.txt | |
parent | d990b982bb0723401eb288184ef68e7acc33a6fb (diff) |
cmake: More documentation, clean up.
Diffstat (limited to 'doc/CMakeLists.txt')
-rw-r--r-- | doc/CMakeLists.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index ffa8b7725..5f71dd2b4 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -1,7 +1,12 @@ +#-----------------------------------------------------------------------------# # Set variables required for the documentation *.in files + string(TIMESTAMP MAN_DATE "%Y-%m-%d") set(VERSION CVC4_RELEASE_STRING) +#-----------------------------------------------------------------------------# +# Generate files + configure_file( ${CMAKE_CURRENT_SOURCE_DIR}/SmtEngine.3cvc_template.in ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.3cvc_template) @@ -26,6 +31,9 @@ configure_file( ${CMAKE_CURRENT_SOURCE_DIR}/options.3cvc_template.in ${CMAKE_CURRENT_BINARY_DIR}/options.3cvc_template) +#-----------------------------------------------------------------------------# +# Install man pages + 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) |