  endif()
  
  
-@@ -405,47 +450,53 @@
-                           EXECUTABLE ${CMAKE_COMMAND} -P ${CMAKE_BINARY_DIR}/RunCoverage.cmake
+@@ -396,56 +447,62 @@
+     # With a script file, the return code of the tests is simply ignored,
+     # and a coverage report is generated even if some tests fail currently.
+     #
+-    file(WRITE ${CMAKE_BINARY_DIR}/RunCoverage.cmake "execute_process(COMMAND ctest ${CMAKE_CTEST_COMMAND} ${COVERAGE_CTEST_ARGS})")
++    file(WRITE ${PROJECT_BINARY_DIR}/RunCoverage.cmake "execute_process(COMMAND ctest ${CMAKE_CTEST_COMMAND} ${COVERAGE_CTEST_ARGS})")
+ 
+     #
+     # setup the coverage target to execute the RunCoverage script
+     #
+     SETUP_TARGET_FOR_COVERAGE(NAME coverage
+-                          EXECUTABLE ${CMAKE_COMMAND} -P ${CMAKE_BINARY_DIR}/RunCoverage.cmake
++      EXECUTABLE ${CMAKE_COMMAND} -P ${PROJECT_BINARY_DIR}/RunCoverage.cmake
                            DEPENDENCIES all_executables
                            )
 +else()

+endif()
 
 # export compilation settings to header file
 configure_file(${CMAKE_CURRENT_SOURCE_DIR}/src/scip/config.h.in ${CMAKE_BINARY_DIR}/scip/config.h @ONLY)
@@ -479,47 +536,55 @@
 # go to src/ and compile the code
 add_subdirectory(src)
 

diff --color -ru /tmp/scip-7.0.1/CMakeLists.txt ./CMakeLists.txt
--- /tmp/scip-7.0.1/CMakeLists.txt	2020-06-23 10:40:49.000000000 +0200
+++ ./CMakeLists.txt	2020-08-25 22:26:57.183066699 +0200
@@ -1,5 +1,15 @@
 cmake_minimum_required(VERSION 3.3)
 
+# option() honors normal variables.
