diff --git a/CMakeLists.txt b/CMakeLists.txt
index ed0bc3a8685..5b30309bf33 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -322,6 +322,7 @@ endif ()
 install(DIRECTORY include/
   DESTINATION include
   FILES_MATCHING
+  PATTERN "*.def"
   PATTERN "*.h"
   PATTERN "*.td"
   PATTERN "*.inc"