1 #-----------------------------------------------------------------------------#
2 # Set variables required for the documentation *.in files
4 string(TIMESTAMP MAN_DATE "%Y-%m-%d")
5 set(VERSION CVC4_RELEASE_STRING)
7 #-----------------------------------------------------------------------------#
11 ${CMAKE_CURRENT_SOURCE_DIR}/SmtEngine.3cvc_template.in
12 ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.3cvc_template)
15 ${CMAKE_CURRENT_SOURCE_DIR}/cvc4.1_template.in
16 ${CMAKE_CURRENT_BINARY_DIR}/cvc4.1_template)
19 ${CMAKE_CURRENT_SOURCE_DIR}/cvc4.5.in
20 ${CMAKE_CURRENT_BINARY_DIR}/cvc4.5)
23 ${CMAKE_CURRENT_SOURCE_DIR}/libcvc4.3.in
24 ${CMAKE_CURRENT_BINARY_DIR}/libcvc4.3)
27 ${CMAKE_CURRENT_SOURCE_DIR}/libcvc4parser.3.in
28 ${CMAKE_CURRENT_BINARY_DIR}/libcvc4parser.3)
31 ${CMAKE_CURRENT_SOURCE_DIR}/options.3cvc_template.in
32 ${CMAKE_CURRENT_BINARY_DIR}/options.3cvc_template)
34 #-----------------------------------------------------------------------------#
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)
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)