spns

diff --git a/src/compilation.py b/src/compilation.py
index 238f929c7b352e44271d7975b309768b612b0906..51c35de8574adfe43186c444ae1bf96c0cc75e48 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -479,6 +479,7 @@ CC=\\"hack_libtool\\"%g" libtool'''
             self.build_environ.set("SAT_HPC", "1")
         if self.debug_mode:
             self.build_environ.set("SAT_DEBUG", "1")
+        self.build_environ.set("CMAKE_BUILD_TYPE", self.cmake_build_type)
         if self.verbose_mode:
             self.build_environ.set("SAT_VERBOSE", "1")