From 775186f4c89602cacfb75dcf841d06ca4da5981c Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Wed, 3 Apr 2019 14:33:40 +0200
Subject: [PATCH] [web] Added info on CMake options which should not be changed
 once set.

---
 web/content/docs/devguide/troubleshooting/cmake.pandoc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/web/content/docs/devguide/troubleshooting/cmake.pandoc b/web/content/docs/devguide/troubleshooting/cmake.pandoc
index 9f378d88116..7f0a3a61959 100644
--- a/web/content/docs/devguide/troubleshooting/cmake.pandoc
+++ b/web/content/docs/devguide/troubleshooting/cmake.pandoc
@@ -33,4 +33,11 @@ cmake ../ogs -DOGS_USE_PETSC=ON
 make
 ```
 
+The following options are affected by this behavior and **should not be changed** after initially set (this means **do not** use `ccmake` or CMake-GUI for the first CMake run):
+
+- `OGS_BUILD_GUI`
+- `OGS_USE_PETSC`
+- `CMAKE_BUILD_TYPE`
+- `BUILD_SHARED_LIBS`
+
 Check also [Conans troubleshooting page]({{< ref "conan.pandoc" >}}) if you use Conan for dependencies.
-- 
GitLab