From 25f4899d83fd6f604257b08734007242450551b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Markus=20M=C3=BCtzel?= <markus.muetzel@gmx.de>
Date: Thu, 16 Nov 2023 19:53:20 +0100
Subject: [PATCH] Mongoose: Add installation destination for public header

---
 Mongoose/CMakeLists.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Mongoose/CMakeLists.txt b/Mongoose/CMakeLists.txt
index 2c126e9331..c056a1bd85 100644
--- a/Mongoose/CMakeLists.txt
+++ b/Mongoose/CMakeLists.txt
@@ -539,7 +539,8 @@ install ( TARGETS Mongoose
 if ( NOT NSTATIC )
     install ( TARGETS Mongoose_static
         EXPORT MongooseTargets
-        ARCHIVE DESTINATION ${SUITESPARSE_LIBDIR} )
+        ARCHIVE DESTINATION ${SUITESPARSE_LIBDIR}
+        PUBLIC_HEADER DESTINATION ${SUITESPARSE_INCLUDEDIR} )
 endif ( )
 install ( TARGETS mongoose_exe
     RUNTIME DESTINATION ${SUITESPARSE_BINDIR} )