Merge pull request #519 from mmuetzel/mongoose

DrTimothyAldenDavis · Nov 16, 2023 · 9a12e5e · 9a12e5e
2 parents 3b4d029 + 25f4899
commit 9a12e5e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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} )