From 62032c963c356c24c207974c67628a310e28053e Mon Sep 17 00:00:00 2001
From: Timo Koch <timokoch@math.uio.no>
Date: Thu, 21 Jul 2022 16:03:34 +0000
Subject: [PATCH] [cmake.opts] Add option for easily setting additional cmake
 flags via an environmental variable

---
 cmake.opts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmake.opts b/cmake.opts
index f209315049..140235eccb 100644
--- a/cmake.opts
+++ b/cmake.opts
@@ -56,4 +56,5 @@ CMAKE_FLAGS="$SPECIFIC_COMPILER $SPECIFIC_GENERATOR $OPM_FLAGS
 -DCMAKE_BUILD_TYPE=Release
 -DENABLE_HEADERCHECK=$DUMUX_ENABLE_HEADERCHECK
 $DUMUX_ENABLE_PYTHON_BINDINGS
+$DUMUX_CMAKE_FLAGS
 "
-- 
GitLab