From 2779d13d2c2bf995c8db26f81d93cf69bd124d1e Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 24 May 2019 15:22:40 +0200
Subject: [PATCH] Fix for FindDoxygen with CMake 3.12

---
 resources/doxygen/CMakeLists.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/resources/doxygen/CMakeLists.txt b/resources/doxygen/CMakeLists.txt
index af8488527..6105db27f 100644
--- a/resources/doxygen/CMakeLists.txt
+++ b/resources/doxygen/CMakeLists.txt
@@ -1,3 +1,8 @@
+# Enable operator IN_LIST to avoid problems with CMake version 3.12
+if(POLICY CMP0057)
+    cmake_policy(SET CMP0057 NEW)
+endif()
+
 find_package(Doxygen)
 # Add a target to generate API documentation with Doxygen
 if(DOXYGEN_FOUND)