From 9d65450eb9711d662af3585c66e91f64e77468b8 Mon Sep 17 00:00:00 2001 From: Nabil Ghodbane Date: Wed, 22 May 2024 13:30:50 +0200 Subject: [PATCH] spns --- src/compilation.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/compilation.py b/src/compilation.py index 238f929..51c35de 100644 --- 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") -- 2.39.2