diff --git a/Makefile b/Makefile
index 1ab28bc1a..985ca5e12 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ build-apps:
 .PHONY: build-apps
 
 build:
-	$(call dune,build) @install
+	$(call dune,build) -p coq-elpi @install
 .PHONY: build
 
 test-core: