add option -DDEVELOPER_CHECKS

.gitlab-ci.yml

@@ -21,7 +21,7 @@ native_Debian_clang:
     - env
     - mkdir build
     - cd build
-    - time cmake .. -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DBA_PY_PACKAGE=ON -DCMAKE_PREFIX_PATH=$QTCMAKE -DZERO_TOLERANCE=ON
+    - time cmake .. -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DBA_PY_PACKAGE=ON -DCMAKE_PREFIX_PATH=$QTCMAKE -DZERO_TOLERANCE=ON -DDEVELOPER_CHECKS=ON
     - time make -j24
     - time xvfb-run -a ctest -j16 --output-on-failure
     - time make package_source

CMakeLists.txt

@@ -44,6 +44,7 @@ option(CONFIGURE_DOXY "Configure Doxygen files" OFF)
 option(ALLCONFIG "Regenerate Py docs, Py wrappers, man page, Doxyfiles" OFF)
 
 option(ZERO_TOLERANCE "Terminate compilation on warnings" OFF)
+option(DEVELOPER_CHECKS "Checks required from developers but not from external users" OFF)
 option(BA_COVERAGE "Build with test coverage information" OFF)
 option(BA_DEBUG_OPTIMIZATION "Build with debug optimization (gcc only)" OFF)
 option(BA_TIDY "Invokes clang-tidy" OFF)

cmake/BornAgain/Format.cmake

-if(LINUX)
+if(LINUX AND DEVELOPER_CHECKS)
 
     set(CHECK_CLANG clang-format --dry-run --Werror )