diff --git a/bin/duneproject b/bin/duneproject index 2eb34a5a4604b332cdb91c8b240d4bc2062d81d6..203e3de0843b4981f98d71aa4711684640231d74 100755 --- a/bin/duneproject +++ b/bin/duneproject @@ -384,7 +384,9 @@ R_DELIM ################## CMakeLists.txt ################## echo "- $PROJECT/CMakeLists.txt" cat> "$PROJECT/CMakeLists.txt" << M_DELIM -cmake_minimum_required(VERSION 2.8.12) +# We require version CMake version 3.1 to prevent issues +# with dune_enable_all_packages and older CMake versions. +cmake_minimum_required(VERSION 3.1) project($PROJECT CXX) if(NOT (dune-common_DIR OR dune-common_ROOT OR