diff --git a/Makefile.inc b/Makefile.inc
index d4fac0b..d37ce51 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -1,2 +1,2 @@
-subdirs-y += ada common proof
+subdirs-y += ada common proof c
 subdirs-y += debug