From b9312acc45407a58d07e19e407e9575d427dd6c3 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 25 Jul 2016 13:03:18 -0700 Subject: If COQPATH is not set, set it by default (#38) This allows most users to not need to type COQPATH=... on make. --- README.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index c20a08528..2bc177c68 100644 --- a/README.md +++ b/README.md @@ -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" -- cgit v1.2.3