diff options
author | Jason Gross <jasongross9@gmail.com> | 2016-07-25 13:03:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-25 13:03:18 -0700 |
commit | b9312acc45407a58d07e19e407e9575d427dd6c3 (patch) | |
tree | 1ce80562c0167e3d73777636a400d04e206d499d /README.md | |
parent | af939434ffb8fda11c9ef5eb02915c2515637dc4 (diff) |
If COQPATH is not set, set it by default (#38)
This allows most users to not need to type COQPATH=... on make.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -6,6 +6,10 @@ Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Pri NOTE: The github.com repo is only intermittently synced with github.mit.edu. +To build (if your COQPATH variable is empty): + + make + To build (Coq 8.5): export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH" |