From d0596ecf0cf7eb6155ac77d65a0ad92a1c7eb076 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 4 Jul 2019 11:57:20 +0200
Subject: [PATCH] Changed cmake policy for finding packages: Now path specified
 via -D<Packagename>_ROOT=/path/to/package/ are automatically considered when
 searching for packages.

---
 CMakeLists.txt | 7 +++++++
 1 file changed, 7 insertions(+)

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 <PackageName>_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)