Merge pull request #7652 from jparsert/develop

Fix in readme and CMake build system

Author: NlightNFotis

CMakeLists.txt

@@ -46,6 +46,8 @@ message(STATUS "Building CBMC version ${CBMC_VERSION}")
 
 project(CBMC VERSION ${CBMC_VERSION})
 
+set(CBMC_ROOT_DIR ${CMAKE_CURRENT_SOURCE_DIR})
+
 # when config.inc changes we’ll need to reconfigure to check if the version changed
 set_property(DIRECTORY APPEND PROPERTY CMAKE_CONFIGURE_DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/src/config.inc")
 

README.md

@@ -107,7 +107,7 @@ Contributing to the code base
 6. Create a Pull Request targeting the `develop` branch
 
 New contributors can look through the [mini
-projects](https://github.com/diffblue/cbmc/blob/develop/MINI-PROJECTS.md)
+projects](https://github.com/diffblue/cbmc/blob/develop/FEATURE_IDEAS.md)
 page for small, focussed feature ideas.
 
 License

src/cbmc/CMakeLists.txt

@@ -58,15 +58,15 @@ endif()
 
 # bash completion
 if(NOT WIN32)
-  add_custom_command(OUTPUT "${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/cbmc.sh"
-    COMMAND "${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/extract_switches.sh"
+  add_custom_command(OUTPUT "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh"
+    COMMAND "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/extract_switches.sh"
     DEPENDS $<TARGET_FILE:cbmc>
   )
   add_custom_target(cbmc.sh ALL
-    DEPENDS "${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/cbmc.sh"
+    DEPENDS "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh"
   )
   install(
-    FILES ${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/cbmc.sh
+    FILES ${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh
     DESTINATION etc/bash_completion.d
     RENAME cbmc
   )