diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-06-14 15:29:36 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-06-14 15:29:36 -0400 |
| commit | ff051043f926a15ed2575122791e1d7c57fe7ac1 (patch) | |
| tree | 32796809b1b4397c9913fd504715c931a92c1df9 /README.md | |
| parent | 44a9f78bb082dbc5275f7d4ae07501dc7cba8a07 (diff) | |
| parent | 656f38ab96e18740df46868f31ac20814ffd6658 (diff) | |
Merge
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 |