From 73e49458181102de6af5150062f52e499e7b59e0 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Mon, 23 Nov 2020 13:20:46 +0100 Subject: [PATCH] add STORM_DEVELOPER ALL_WARNINGS GCC case non exhaustive in this commit, i.e. additional flags might be applicable --- CMakeLists.txt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index edf9fa3e3..cca67f466 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -325,6 +325,11 @@ if (STORM_DEVELOPER) set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-float-equal") set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-unused-local-typedef") set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-missing-variable-declarations") + elseif (GCC) + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra") + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wunused") + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-unknown-pragmas") + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-unused-local-typedefs") endif () else () set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra")