diff --git a/CMakeLists.txt b/CMakeLists.txt index b2fe1b814..6b67feefb 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,6 +1,13 @@ cmake_minimum_required (VERSION 3.2) + cmake_policy(VERSION 3.2) +# When searching for packages, we would like to first search in prefixes specified by _ROOT. +# However, this behavior is only supported since CMake 3.12. +if(POLICY CMP0074) + cmake_policy(SET CMP0074 NEW) +endif() + # Set project name project (storm CXX C)