1 files changed, 2 insertions, 1 deletions
diff --git a/README.md b/README.md
index b11cb2d65..9144b03a1 100644
--- a/README.md
+++ b/README.md
@@ -7,5 +7,6 @@ To build:
 
 	git clone git@github.mit.edu:plv/bedrock.git
 	( cd bedrock && make Bedrock/Word.vo )
-	( cd coqprime && make PrimalityTest/Zp.vo PrimalityTest/PocklingtonCertificat.vo )
+	( cd coqprime && make )
+	export COQPATH="$(pwd)/bedrock:$(pwd)/coqprime${COQPATH:+:}$COQPATH"
 	make