Skip to content

Commit 7d1e074

Browse files
author
Mark R. Tuttle
committed
Create install symlinks with '\$ENV{DESTDIR}' in place of '$ENV{DESTDIR}'
1 parent 35b8bae commit 7d1e074

16 files changed

+336
-12
lines changed

‎jbmc/src/janalyzer/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,6 @@ install(TARGETS janalyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
3030
install(CODE "execute_process( \
3131
COMMAND ${CMAKE_COMMAND} -E create_symlink \
3232
cbmc.1 \
33-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/janalyzer.1 \
33+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/janalyzer.1 \
3434
)"
3535
)

‎jbmc/src/janalyzer/CMakeLists.txt.bak

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
# Library
2+
file(GLOB_RECURSE sources "*.cpp" "*.h")
3+
list(REMOVE_ITEM sources
4+
${CMAKE_CURRENT_SOURCE_DIR}/janalyzer_main.cpp
5+
)
6+
add_library(janalyzer-lib ${sources})
7+
8+
generic_includes(janalyzer-lib)
9+
10+
target_link_libraries(janalyzer-lib
11+
ansi-c
12+
java_bytecode
13+
linking
14+
big-int
15+
goto-analyzer-lib
16+
goto-programs
17+
analyses
18+
pointer-analysis
19+
langapi
20+
json
21+
util
22+
)
23+
24+
# Executable
25+
add_executable(janalyzer janalyzer_main.cpp)
26+
target_link_libraries(janalyzer janalyzer-lib)
27+
install(TARGETS janalyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
28+
29+
# Symlink man page to cbmc man page until a real man page is written
30+
install(CODE "execute_process( \
31+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
32+
cbmc.1 \
33+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/janalyzer.1 \
34+
)"
35+
)

‎jbmc/src/jbmc/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,6 @@ install(TARGETS jbmc DESTINATION ${CMAKE_INSTALL_BINDIR})
3636
install(CODE "execute_process( \
3737
COMMAND ${CMAKE_COMMAND} -E create_symlink \
3838
cbmc.1 \
39-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jbmc.1 \
39+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jbmc.1 \
4040
)"
4141
)

‎jbmc/src/jbmc/CMakeLists.txt.bak

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
# Library
2+
file(GLOB_RECURSE sources "*.cpp" "*.h")
3+
list(REMOVE_ITEM sources
4+
${CMAKE_CURRENT_SOURCE_DIR}/jbmc_main.cpp
5+
)
6+
add_library(jbmc-lib ${sources})
7+
8+
generic_includes(jbmc-lib)
9+
10+
target_link_libraries(jbmc-lib
11+
analyses
12+
ansi-c
13+
big-int
14+
cbmc-lib
15+
goto-checker
16+
goto-instrument-lib
17+
goto-programs
18+
goto-symex
19+
java_bytecode
20+
json
21+
langapi
22+
linking
23+
miniz
24+
pointer-analysis
25+
solvers
26+
util
27+
xml
28+
)
29+
30+
# Executable
31+
add_executable(jbmc jbmc_main.cpp)
32+
target_link_libraries(jbmc jbmc-lib)
33+
install(TARGETS jbmc DESTINATION ${CMAKE_INSTALL_BINDIR})
34+
35+
# Symlink man page to cbmc man page until a real man page is written
36+
install(CODE "execute_process( \
37+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
38+
cbmc.1 \
39+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/jbmc.1 \
40+
)"
41+
)

‎jbmc/src/jdiff/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,6 @@ install(TARGETS jdiff DESTINATION ${CMAKE_INSTALL_BINDIR})
3131
install(CODE "execute_process( \
3232
COMMAND ${CMAKE_COMMAND} -E create_symlink \
3333
cbmc.1 \
34-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jdiff.1 \
34+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jdiff.1 \
3535
)"
3636
)

‎jbmc/src/jdiff/CMakeLists.txt.bak

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
# Library
2+
file(GLOB_RECURSE sources "*.cpp" "*.h")
3+
list(REMOVE_ITEM sources
4+
${CMAKE_CURRENT_SOURCE_DIR}/jdiff_main.cpp
5+
)
6+
add_library(jdiff-lib ${sources})
7+
8+
generic_includes(jdiff-lib)
9+
10+
target_link_libraries(jdiff-lib
11+
ansi-c
12+
linking
13+
big-int
14+
pointer-analysis
15+
goto-diff-lib
16+
goto-instrument-lib
17+
goto-programs
18+
analyses
19+
java_bytecode
20+
langapi
21+
xml
22+
util
23+
)
24+
25+
# Executable
26+
add_executable(jdiff jdiff_main.cpp)
27+
target_link_libraries(jdiff jdiff-lib)
28+
install(TARGETS jdiff DESTINATION ${CMAKE_INSTALL_BINDIR})
29+
30+
# Symlink man page to cbmc man page until a real man page is written
31+
install(CODE "execute_process( \
32+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
33+
cbmc.1 \
34+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/jdiff.1 \
35+
)"
36+
)

‎src/goto-analyzer/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,6 @@ install(TARGETS goto-analyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
3333
install(CODE "execute_process( \
3434
COMMAND ${CMAKE_COMMAND} -E create_symlink \
3535
cbmc.1 \
36-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-analyzer.1 \
36+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-analyzer.1 \
3737
)"
3838
)

‎src/goto-analyzer/CMakeLists.txt.bak

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
# Library
2+
file(GLOB_RECURSE sources "*.cpp" "*.h")
3+
list(REMOVE_ITEM sources
4+
${CMAKE_CURRENT_SOURCE_DIR}/goto_analyzer_main.cpp
5+
)
6+
add_library(goto-analyzer-lib ${sources})
7+
8+
generic_includes(goto-analyzer-lib)
9+
10+
target_link_libraries(goto-analyzer-lib
11+
ansi-c
12+
cpp
13+
linking
14+
big-int
15+
goto-checker
16+
goto-programs
17+
analyses
18+
pointer-analysis
19+
langapi
20+
json
21+
assembler
22+
util
23+
)
24+
25+
add_if_library(goto-analyzer-lib jsil)
26+
27+
# Executable
28+
add_executable(goto-analyzer goto_analyzer_main.cpp)
29+
target_link_libraries(goto-analyzer goto-analyzer-lib)
30+
install(TARGETS goto-analyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
31+
32+
# Symlink man page to cbmc man page until a real man page is written
33+
install(CODE "execute_process( \
34+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
35+
cbmc.1 \
36+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-analyzer.1 \
37+
)"
38+
)

‎src/goto-cc/CMakeLists.txt

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -44,32 +44,32 @@ else()
4444
install(CODE "execute_process( \
4545
COMMAND ${CMAKE_COMMAND} -E create_symlink \
4646
goto-cc \
47-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-gcc \
47+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-gcc \
4848
)"
4949
)
5050
install(CODE "execute_process( \
5151
COMMAND ${CMAKE_COMMAND} -E create_symlink \
5252
goto-cc \
53-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-ld \
53+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-ld \
5454
)"
5555
)
5656
# Symlink man page to cbmc man page until a real man page is written
5757
install(CODE "execute_process( \
5858
COMMAND ${CMAKE_COMMAND} -E create_symlink \
5959
cbmc.1 \
60-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-cc.1 \
60+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-cc.1 \
6161
)"
6262
)
6363
install(CODE "execute_process( \
6464
COMMAND ${CMAKE_COMMAND} -E create_symlink \
6565
cbmc.1 \
66-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-gcc.1 \
66+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-gcc.1 \
6767
)"
6868
)
6969
install(CODE "execute_process( \
7070
COMMAND ${CMAKE_COMMAND} -E create_symlink \
7171
cbmc.1 \
72-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-ld.1 \
72+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-ld.1 \
7373
)"
7474
)
7575
endif()

‎src/goto-cc/CMakeLists.txt.bak

Lines changed: 75 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,75 @@
1+
# Library
2+
file(GLOB_RECURSE sources "*.cpp" "*.h")
3+
list(REMOVE_ITEM sources
4+
${CMAKE_CURRENT_SOURCE_DIR}/goto_cc_main.cpp
5+
)
6+
add_library(goto-cc-lib ${sources})
7+
8+
generic_includes(goto-cc-lib)
9+
10+
target_link_libraries(goto-cc-lib
11+
big-int
12+
goto-programs
13+
util
14+
json
15+
linking
16+
ansi-c
17+
cpp
18+
xml
19+
assembler
20+
langapi
21+
)
22+
23+
add_if_library(goto-cc-lib jsil)
24+
25+
# Executable
26+
add_executable(goto-cc goto_cc_main.cpp)
27+
target_link_libraries(goto-cc goto-cc-lib)
28+
29+
if(WIN32)
30+
set_target_properties(goto-cc PROPERTIES OUTPUT_NAME goto-cl)
31+
install(TARGETS goto-cc DESTINATION ${CMAKE_INSTALL_BINDIR})
32+
else()
33+
add_custom_command(TARGET goto-cc
34+
POST_BUILD
35+
COMMAND "${CMAKE_COMMAND}" -E create_symlink
36+
goto-cc $<TARGET_FILE_DIR:goto-cc>/goto-gcc
37+
BYPRODUCTS ${CMAKE_BINARY_DIR}/bin/goto-gcc)
38+
add_custom_command(TARGET goto-cc
39+
POST_BUILD
40+
COMMAND "${CMAKE_COMMAND}" -E create_symlink
41+
goto-cc $<TARGET_FILE_DIR:goto-cc>/goto-ld
42+
BYPRODUCTS ${CMAKE_BINARY_DIR}/bin/goto-ld)
43+
install(TARGETS goto-cc DESTINATION ${CMAKE_INSTALL_BINDIR})
44+
install(CODE "execute_process( \
45+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
46+
goto-cc \
47+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_BINDIR}/goto-gcc \
48+
)"
49+
)
50+
install(CODE "execute_process( \
51+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
52+
goto-cc \
53+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_BINDIR}/goto-ld \
54+
)"
55+
)
56+
# Symlink man page to cbmc man page until a real man page is written
57+
install(CODE "execute_process( \
58+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
59+
cbmc.1 \
60+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-cc.1 \
61+
)"
62+
)
63+
install(CODE "execute_process( \
64+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
65+
cbmc.1 \
66+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-gcc.1 \
67+
)"
68+
)
69+
install(CODE "execute_process( \
70+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
71+
cbmc.1 \
72+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-ld.1 \
73+
)"
74+
)
75+
endif()

‎src/goto-diff/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,6 @@ install(TARGETS goto-diff DESTINATION ${CMAKE_INSTALL_BINDIR})
3434
install(CODE "execute_process( \
3535
COMMAND ${CMAKE_COMMAND} -E create_symlink \
3636
cbmc.1 \
37-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-diff.1 \
37+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-diff.1 \
3838
)"
3939
)

‎src/goto-diff/CMakeLists.txt.bak

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
# Library
2+
file(GLOB_RECURSE sources "*.cpp" "*.h")
3+
list(REMOVE_ITEM sources
4+
${CMAKE_CURRENT_SOURCE_DIR}/goto_diff_main.cpp
5+
)
6+
add_library(goto-diff-lib ${sources})
7+
8+
generic_includes(goto-diff-lib)
9+
10+
target_link_libraries(goto-diff-lib
11+
ansi-c
12+
cpp
13+
linking
14+
big-int
15+
pointer-analysis
16+
goto-instrument-lib
17+
goto-programs
18+
assembler
19+
analyses
20+
langapi
21+
xml
22+
util
23+
solvers
24+
)
25+
26+
add_if_library(goto-diff-lib jsil)
27+
28+
# Executable
29+
add_executable(goto-diff goto_diff_main.cpp)
30+
target_link_libraries(goto-diff goto-diff-lib)
31+
install(TARGETS goto-diff DESTINATION ${CMAKE_INSTALL_BINDIR})
32+
33+
# Symlink man page to cbmc man page until a real man page is written
34+
install(CODE "execute_process( \
35+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
36+
cbmc.1 \
37+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-diff.1 \
38+
)"
39+
)

‎src/goto-harness/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,6 @@ install(TARGETS goto-harness DESTINATION ${CMAKE_INSTALL_BINDIR})
1515
install(CODE "execute_process( \
1616
COMMAND ${CMAKE_COMMAND} -E create_symlink \
1717
cbmc.1 \
18-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-harness.1 \
18+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-harness.1 \
1919
)"
2020
)

‎src/goto-harness/CMakeLists.txt.bak

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
file(GLOB_RECURSE sources "*.cpp" "*.h")
2+
add_executable(goto-harness ${sources})
3+
generic_includes(goto-harness)
4+
5+
target_link_libraries(goto-harness
6+
util
7+
goto-programs
8+
goto-instrument-lib
9+
json
10+
json-symtab-language
11+
)
12+
install(TARGETS goto-harness DESTINATION ${CMAKE_INSTALL_BINDIR})
13+
14+
# Symlink man page to cbmc man page until a real man page is written
15+
install(CODE "execute_process( \
16+
COMMAND ${CMAKE_COMMAND} -E create_symlink \
17+
cbmc.1 \
18+
\$ENV{DESTDIR}\${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-harness.1 \
19+
)"
20+
)

‎src/goto-instrument/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,6 @@ install(TARGETS goto-instrument DESTINATION ${CMAKE_INSTALL_BINDIR})
3535
install(CODE "execute_process( \
3636
COMMAND ${CMAKE_COMMAND} -E create_symlink \
3737
cbmc.1 \
38-
$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-instrument.1 \
38+
\$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-instrument.1 \
3939
)"
4040
)

0 commit comments

Comments
 (0)