From 4e7aeecf598c9fa0489296b2aa771a2605539c3f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Mon, 14 Jan 2019 13:00:04 +0100
Subject: [PATCH] Guard Doxygen finder to reduce configure times

---
 cmake/ACGDoxygen.cmake | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/cmake/ACGDoxygen.cmake b/cmake/ACGDoxygen.cmake
index ee018f3f..b43d1cb8 100644
--- a/cmake/ACGDoxygen.cmake
+++ b/cmake/ACGDoxygen.cmake
@@ -18,8 +18,10 @@
 # author Jan Woetzel 2004-2006
 # www.mip.informatik.uni-kiel.de/~jw
 
-
-FIND_PACKAGE(Doxygen)
+# Guard the finder here, to avoid calling it multiple times
+IF (NOT DOXYGEN_FOUND)
+  FIND_PACKAGE(Doxygen)
+endif()
 
 IF (DOXYGEN_FOUND)
 
-- 
GitLab