diff --git a/cmake.opts b/cmake.opts index f2093150490685a65b02eb10766375ea7e9b144d..140235eccb0f27243f6dc6bbbe72aedf56beb798 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 "