GitLab

#1217 Make the path to the settings file a mandatory argument to the cmake command. Also use this file to decide whether static or shared libraries are built.

#1217 Beginning compilation with CMake: so far it compiles Utilities with compilation options hardcoded.