Add a regenerate-curves target

It's currently a bit ad-hoc, and relies on the presence of git to add
things to _CoqProject, but it's a bit better than manually invoking the
commands.  More refinements to come, hopefully.

1 files changed, 11 insertions, 0 deletions

diff --git a/regenerate-curves.sh b/regenerate-curves.sh
new file mode 100755
index 000000000..c57afff63
--- /dev/null
+++ b/regenerate-curves.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -o pipefail
+set -ex
+
+cd "$( dirname "${BASH_SOURCE[0]}" )"
+
+python3 generate_parameters.py primes.txt
+./src/Specific/CurveParameters/remake_curves.sh -f | tee remake_curves.log
+grep 'git add ' remake_curves.log | sed s'/git add //g' | tr '"' '\n' | grep -v '^\s*$' | xargs git add
+make update-_CoqProject