  target_compile_definitions(scip PRIVATE SCIP_STATIC_DEFINE)
  
  if(CMAKE_BUILD_TYPE EQUAL "Debug")
-@@ -991,8 +996,16 @@
+@@ -991,8 +995,16 @@
      add_sanitizers(scip)
  endif()
  

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)
 

     blockmemshell/memory.c
     scip/message.c
     scip/bitencode.c
@@ -953,6 +952,7 @@
 setLibProperties(liblpi "lpi")
 
 add_library(libscip ${scipsources} ${objscipsources} ${nlpisources} ${lpisources} ${tpisources} ${symsources})
