From e726e52d2fd7cd3a97926613240b4334be717a32 Mon Sep 17 00:00:00 2001 From: George Tankersley Date: Sat, 28 Jul 2018 00:00:00 +0000 Subject: README: note remake_curves.sh is in Specific/CurveParameters --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index f302612ff..089fc6ddd 100644 --- a/README.md +++ b/README.md @@ -50,7 +50,7 @@ Exploring the code To add a new prime, add a new line to [`primes.txt`](https://github.com/mit-plv/fiat-crypto/blob/master/primes.txt) with your prime. Then run - ./generate_parameters.py; ./src/Specific/remake_curves.sh + ./generate_parameters.py; ./src/Specific/CurveParameters/remake_curves.sh You will see a bunch of lines starting with `git add`; any `.v` files that show up in these lines must be added to `_CoqProject`. (If you are working in the git repository, you may simply run the `git add` lines, and then run `make update-_CoqProject`.) Note that the directory structure involves a textual representation of your prime, call it `${REPRESENTATION_OF_YOUR_PRIME}`. To build, you can run -- cgit v1.2.3