Merge pull request #5419 from markrtuttle/fix-cmake-install-symlinks

Add DESTDIR to cmake symlinks

Author: hannes-steffenhagen-diffblue

jbmc/src/janalyzer/CMakeLists.txt

@@ -30,6 +30,6 @@ install(TARGETS janalyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/janalyzer.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/janalyzer.1 \
   )"
 )

jbmc/src/jbmc/CMakeLists.txt

@@ -36,6 +36,6 @@ install(TARGETS jbmc DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/jbmc.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jbmc.1 \
   )"
 )

jbmc/src/jdiff/CMakeLists.txt

@@ -31,6 +31,6 @@ install(TARGETS jdiff DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/jdiff.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jdiff.1 \
   )"
 )

src/goto-analyzer/CMakeLists.txt

@@ -33,6 +33,6 @@ install(TARGETS goto-analyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-analyzer.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-analyzer.1 \
   )"
 )

src/goto-cc/CMakeLists.txt

@@ -44,32 +44,32 @@ else()
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     goto-cc \
-    ${CMAKE_INSTALL_FULL_BINDIR}/goto-gcc \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-gcc \
     )"
   )
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     goto-cc \
-    ${CMAKE_INSTALL_FULL_BINDIR}/goto-ld \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-ld \
     )"
   )
   # Symlink man page to cbmc man page until a real man page is written
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     cbmc.1 \
-    ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-cc.1 \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-cc.1 \
     )"
   )
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     cbmc.1 \
-    ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-gcc.1 \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-gcc.1 \
     )"
   )
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     cbmc.1 \
-    ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-ld.1 \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-ld.1 \
     )"
   )
 endif()

src/goto-diff/CMakeLists.txt

@@ -34,6 +34,6 @@ install(TARGETS goto-diff DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-diff.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-diff.1 \
   )"
 )

src/goto-harness/CMakeLists.txt

@@ -15,6 +15,6 @@ install(TARGETS goto-harness DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-harness.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-harness.1 \
   )"
 )

src/goto-instrument/CMakeLists.txt

@@ -35,6 +35,6 @@ install(TARGETS goto-instrument DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-instrument.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-instrument.1 \
   )"
 )