WIP: [Futurev4] New CMake in Gauss-on-Gaussino
needs Gaussino/Gaussino!41 (merged)
This adds all the necessary changes in order to run Gauss(-on-Gaussino) using new-cmake-style Gaussino.
needs Gaussino/Gaussino!41 (merged)
This adds all the necessary changes in order to run Gauss(-on-Gaussino) using new-cmake-style Gaussino.