diff options
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -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 |