aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorGravatar George Tankersley <george.tankersley@gmail.com>2018-07-28 00:00:00 +0000
committerGravatar Jason Gross <jasongross9@gmail.com>2018-08-09 17:08:31 -0400
commite726e52d2fd7cd3a97926613240b4334be717a32 (patch)
tree651c71e7155c9caba1df011bf719d76c94b73857 /README.md
parent23d2e9b4b158a9aa859591c78f3157bd56f293e8 (diff)
README: note remake_curves.sh is in Specific/CurveParameters
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
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