Merge branch 'develop' into feature/reconstruction

CMakeLists.txt

@@ -925,3 +925,13 @@ install(
   FILES ${PUGS_BINARY_DIR}/cmake/PugsCompileFlags.cmake
   DESTINATION lib/cmake/pugs
 )
+
+# Ugly patch to install user headers for Catch2 (for plugins)
+install(
+  DIRECTORY
+  "${PUGS_BINARY_DIR}/packages/Catch2/generated-includes/catch2" # Also install the generated header
+  DESTINATION
+  "include"
+  FILES_MATCHING
+  PATTERN "*.hpp"
+  )