From 8d4f4adf80c7fdaa8021b283526ab1592ee13600 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 10 Jun 2016 15:01:26 -0400 Subject: Add coqprime that works with 8.5, bundle bedrock This simplifes the build process, and also allows us to try to build with 8.5. We autodetect the version of Coq in the Makefile to decide which version of coqprime to build. --- README.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 9144b03a1..4486c7f76 100644 --- a/README.md +++ b/README.md @@ -5,8 +5,5 @@ Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives To build: - git clone git@github.mit.edu:plv/bedrock.git - ( cd bedrock && make Bedrock/Word.vo ) - ( cd coqprime && make ) - export COQPATH="$(pwd)/bedrock:$(pwd)/coqprime${COQPATH:+:}$COQPATH" + export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH" make -- cgit v1.2.3