diff --git a/Makefile.coq.local b/Makefile.coq.local
index 4bd7159fd9223da02a6b6118d13a51237dd625b5..55da6e2176ded7da08087337cc7bd6b20f0d284a 100644
--- a/Makefile.coq.local
+++ b/Makefile.coq.local
@@ -16,3 +16,6 @@ concurrent_stacks: $(filter theories/concurrent_stacks/%,$(VOFILES))
 
 logrel: $(filter theories/logrel/%,$(VOFILES))
 .PHONY: logrel
+
+hocap: $(filter theories/hocap/%,$(VOFILES))
+.PHONY: hocap