diff options
author | George Tankersley <george.tankersley@gmail.com> | 2018-07-28 00:00:00 +0000 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-08-09 17:08:31 -0400 |
commit | e726e52d2fd7cd3a97926613240b4334be717a32 (patch) | |
tree | 651c71e7155c9caba1df011bf719d76c94b73857 /README.md | |
parent | 23d2e9b4b158a9aa859591c78f3157bd56f293e8 (diff) |
README: note remake_curves.sh is in Specific/CurveParameters
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |