From 043d57e7fcf9c33e8a9fa4f0d67f24dbc5533992 Mon Sep 17 00:00:00 2001
From: Simon Praetorius <simon.praetorius@tu-dresden.de>
Date: Wed, 18 Dec 2024 17:31:44 +0100
Subject: [PATCH] set default include directories to targets generated by
 duneproject

---
 bin/duneproject | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bin/duneproject b/bin/duneproject
index 3b72b91c3..bfae320fe 100755
--- a/bin/duneproject
+++ b/bin/duneproject
@@ -522,6 +522,9 @@ add_executable(${MODULE} ${MODULE}.cc)
 # link target against found dune libraries (e.g. dune-common)
 target_link_dune_default_libraries(${MODULE})
 
+# set include directories for the target
+dune_default_include_directories(${MODULE} PRIVATE)
+
 # link target against other dune registered packages (e.g. TBB, METIS, etc.)
 dune_target_enable_all_packages(${MODULE})
 M_DELIM
-- 
GitLab