diff --git a/CMakeLists.txt b/CMakeLists.txt
index 75cb3fe..21e630e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -211,6 +211,8 @@ set(INTERFACE_FILES
   include/criterion/internal/asprintf-compat.h
   include/criterion/internal/designated-initializer-compat.h
   include/criterion/internal/preprocess.h
+  include/criterion/internal/theories.h
+  include/criterion/internal/parameterized.h
 )
 
 # Generate the configure file