From: Luca Heltai <luca.heltai@sissa.it>
Date: Fri, 29 Apr 2022 14:34:32 +0000 (+0300)
Subject: Make sure also user include dir is set.
X-Git-Tag: v9.4.0-rc1~290^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc6c7cff3d6dface020b046920d35e68a233776a;p=dealii.git

Make sure also user include dir is set.
---

diff --git a/cmake/modules/FindCGAL.cmake b/cmake/modules/FindCGAL.cmake
index 34a77169bc..050fe404a8 100644
--- a/cmake/modules/FindCGAL.cmake
+++ b/cmake/modules/FindCGAL.cmake
@@ -41,5 +41,6 @@ ENDIF(DEAL_II_HAVE_CXX17)
 
 DEAL_II_PACKAGE_HANDLE(CGAL
   INCLUDE_DIRS REQUIRED CGAL_INCLUDE_DIRS
+  USER_INCLUDE_DIRS REQUIRED CGAL_INCLUDE_DIRS
   CLEAR CGAL_INCLUDE_DIRS
   )