Merge pull request #1526 from jehelset/jeh/missing-header-install

ericniebler · web-flow · commit f042eec2c902 · 2025-05-07T09:40:38.000-07:00
Add missing install.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -161,6 +161,7 @@ PUBLIC
   FILES
     ${exec_headers}
     ${stdexec_headers}
+    include/execpools/thread_pool_base.hpp
   # stdexec_version_config.hpp is generated by rapids' script
   FILE_SET version_config
   TYPE HEADERS
