diff --git a/CMakeLists.txt b/CMakeLists.txt index 56d56b824a33b57b2e33f66cd5710d4bbf41d868..8922d814537fb969606837519a10bcd8f416651d 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -15,7 +15,11 @@ # set up project project("dune-gdt" CXX) -cmake_minimum_required(VERSION 3.1) +cmake_minimum_required(VERSION 3.13) + +if("${TRAVIS}" EQUAL "1") + add_compile_options(-Werror) +endif() if(NOT (dune-common_DIR