doc/CMakeLists.txt

   1 #-----------------------------------------------------------------------------#
   2 # Set variables required for the documentation *.in files
   3
   4 string(TIMESTAMP MAN_DATE "%Y-%m-%d")
   5 set(VERSION CVC4_RELEASE_STRING)
   6
   7 #-----------------------------------------------------------------------------#
   8 # Generate files
   9
  10 configure_file(
  11   ${CMAKE_CURRENT_SOURCE_DIR}/SmtEngine.3cvc_template.in
  12   ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.3cvc_template)
  13
  14 configure_file(
  15   ${CMAKE_CURRENT_SOURCE_DIR}/cvc4.1_template.in
  16   ${CMAKE_CURRENT_BINARY_DIR}/cvc4.1_template)
  17
  18 configure_file(
  19   ${CMAKE_CURRENT_SOURCE_DIR}/cvc4.5.in
  20   ${CMAKE_CURRENT_BINARY_DIR}/cvc4.5)
  21
  22 configure_file(
  23   ${CMAKE_CURRENT_SOURCE_DIR}/libcvc4.3.in
  24   ${CMAKE_CURRENT_BINARY_DIR}/libcvc4.3)
  25
  26 configure_file(
  27   ${CMAKE_CURRENT_SOURCE_DIR}/libcvc4parser.3.in
  28   ${CMAKE_CURRENT_BINARY_DIR}/libcvc4parser.3)
  29
  30 configure_file(
  31   ${CMAKE_CURRENT_SOURCE_DIR}/options.3cvc_template.in
  32   ${CMAKE_CURRENT_BINARY_DIR}/options.3cvc_template)
  33
  34 #-----------------------------------------------------------------------------#
  35 # Install man pages
  36
  37 install(FILES ${CMAKE_CURRENT_BINARY_DIR}/cvc4.1 DESTINATION share/man/man1)
  38 install(FILES ${CMAKE_CURRENT_BINARY_DIR}/cvc4.5 DESTINATION share/man/man5)
  39 install(FILES
  40         ${CMAKE_CURRENT_BINARY_DIR}/libcvc4.3
  41         ${CMAKE_CURRENT_BINARY_DIR}/libcvc4parser.3
  42         ${CMAKE_CURRENT_BINARY_DIR}/options.3cvc
  43         ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.3cvc
  44         DESTINATION share/man/man3)