Skip to content

Commit e333b4c

Browse files
authored
Merge pull request #7171 from tautschnig/cleanup/man-pages-install
CMake: install one man page per tool
2 parents d94c1cf + 30587eb commit e333b4c

File tree

12 files changed

+79
-10
lines changed

12 files changed

+79
-10
lines changed

jbmc/CMakeLists.txt

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -36,10 +36,3 @@ install(
3636
"${CMAKE_CURRENT_SOURCE_DIR}/lib/java-models-library/target/cprover-api.jar"
3737
DESTINATION ${CMAKE_INSTALL_LIBDIR}
3838
)
39-
if(NOT WIN32)
40-
install(
41-
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
42-
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
43-
FILES_MATCHING
44-
PATTERN "j*")
45-
endif()

jbmc/src/janalyzer/CMakeLists.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,3 +25,11 @@ target_link_libraries(janalyzer-lib
2525
add_executable(janalyzer janalyzer_main.cpp)
2626
target_link_libraries(janalyzer janalyzer-lib)
2727
install(TARGETS janalyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
28+
29+
# Man page
30+
if(NOT WIN32)
31+
install(
32+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
33+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
34+
FILES_MATCHING PATTERN "janalyzer*")
35+
endif()

jbmc/src/jbmc/CMakeLists.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,3 +33,11 @@ install(TARGETS jbmc DESTINATION ${CMAKE_INSTALL_BINDIR})
3333

3434
# make sure java-models-library is built at least once
3535
add_dependencies(jbmc java-models-library)
36+
37+
# Man page
38+
if(NOT WIN32)
39+
install(
40+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
41+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
42+
FILES_MATCHING PATTERN "jbmc*")
43+
endif()

jbmc/src/jdiff/CMakeLists.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,3 +25,11 @@ target_link_libraries(jdiff-lib
2525
add_executable(jdiff jdiff_main.cpp)
2626
target_link_libraries(jdiff jdiff-lib)
2727
install(TARGETS jdiff DESTINATION ${CMAKE_INSTALL_BINDIR})
28+
29+
# Man page
30+
if(NOT WIN32)
31+
install(
32+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
33+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
34+
FILES_MATCHING PATTERN "jdiff*")
35+
endif()

src/cbmc/CMakeLists.txt

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -53,9 +53,7 @@ if(NOT WIN32)
5353
install(
5454
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
5555
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
56-
FILES_MATCHING
57-
PATTERN "c*"
58-
PATTERN "g*")
56+
FILES_MATCHING PATTERN "cbmc*")
5957
endif()
6058

6159
# bash completion

src/crangler/CMakeLists.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,3 +24,11 @@ add_executable(crangler crangler_main.cpp)
2424
target_link_libraries(crangler crangler-lib)
2525

2626
install(TARGETS crangler DESTINATION ${CMAKE_INSTALL_BINDIR})
27+
28+
# Man page
29+
if(NOT WIN32)
30+
install(
31+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
32+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
33+
FILES_MATCHING PATTERN "crangler*")
34+
endif()

src/goto-analyzer/CMakeLists.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,3 +28,11 @@ add_if_library(goto-analyzer-lib jsil)
2828
add_executable(goto-analyzer goto_analyzer_main.cpp)
2929
target_link_libraries(goto-analyzer goto-analyzer-lib)
3030
install(TARGETS goto-analyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
31+
32+
# Man page
33+
if(NOT WIN32)
34+
install(
35+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
36+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
37+
FILES_MATCHING PATTERN "goto-analyzer*")
38+
endif()

src/goto-cc/CMakeLists.txt

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,4 +55,10 @@ else()
5555
${CMAKE_BINARY_DIR}/bin/ls_parse.py
5656
DESTINATION
5757
${CMAKE_INSTALL_BINDIR})
58+
59+
# Man page
60+
install(
61+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
62+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
63+
FILES_MATCHING REGEX "goto-(cc|gcc|ld).*")
5864
endif()

src/goto-diff/CMakeLists.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,3 +29,11 @@ add_if_library(goto-diff-lib jsil)
2929
add_executable(goto-diff goto_diff_main.cpp)
3030
target_link_libraries(goto-diff goto-diff-lib)
3131
install(TARGETS goto-diff DESTINATION ${CMAKE_INSTALL_BINDIR})
32+
33+
# Man page
34+
if(NOT WIN32)
35+
install(
36+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
37+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
38+
FILES_MATCHING PATTERN "goto-diff*")
39+
endif()

src/goto-harness/CMakeLists.txt

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,3 +10,11 @@ target_link_libraries(goto-harness
1010
json-symtab-language
1111
)
1212
install(TARGETS goto-harness DESTINATION ${CMAKE_INSTALL_BINDIR})
13+
14+
# Man page
15+
if(NOT WIN32)
16+
install(
17+
DIRECTORY ${CMAKE_SOURCE_DIR}/doc/man/
18+
DESTINATION ${CMAKE_INSTALL_MANDIR}/man1
19+
FILES_MATCHING PATTERN "goto-harness*")
20+
endif()

0 commit comments

Comments
 (0)