From b2981283ec45ae715346eeee600023cc78fa4549 Mon Sep 17 00:00:00 2001
From: Florian Uhlig <florian.uhlig@googlemail.com>
Date: Wed, 4 Sep 2024 14:32:38 +0000
Subject: [PATCH] Install pollstl headers
---
external/InstallPoolSTL.cmake | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/external/InstallPoolSTL.cmake b/external/InstallPoolSTL.cmake
index 8fe1225361..a60ebd81b0 100644
--- a/external/InstallPoolSTL.cmake
+++ b/external/InstallPoolSTL.cmake
@@ -19,3 +19,7 @@ target_include_directories(poolstl SYSTEM INTERFACE
$<BUILD_INTERFACE:${POOLSTL_INCLUDE_DIRS}>
$<INSTALL_INTERFACE:include>
)
+
+Install(DIRECTORY ${POOLSTL_INCLUDE_DIRS}/poolstl
+ DESTINATION include
+ )
--
GitLab