doc/man: Do not install the jbmc man pages when jbmc is not installed

Author: vmihalko

jbmc/CMakeLists.txt

@@ -36,3 +36,10 @@ install(
     "${CMAKE_CURRENT_SOURCE_DIR}/lib/java-models-library/target/cprover-api.jar"
   DESTINATION ${CMAKE_INSTALL_LIBDIR}
 )
+if(NOT WIN32)
+  install(
+    DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
+    DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
+    FILES_MATCHING
+    PATTERN "j*")
+endif()

src/cbmc/CMakeLists.txt

@@ -40,5 +40,8 @@ install(TARGETS cbmc DESTINATION ${CMAKE_INSTALL_BINDIR})
 if(NOT WIN32)
   install(
     DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
-    DESTINATION ${CMAKE_INSTALL_MANDIR}/man1)
+    DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
+    FILES_MATCHING 
+    PATTERN "c*"
+    PATTERN "g*")
 endif()