From: Luca Heltai 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 )