src/Util/remake_tactics.sh


1
2
3
4
5
6
7
8
9

#!/usr/bin/env bash
cat > Tactics.v <<EOF
(** * Generic Tactics *)
Require Export Crypto.Util.FixCoqMistakes.
EOF
FILES="$(cd Tactics; git ls-files '*.v')"
for i in $FILES; do
    echo "Require Export Crypto.Util.Tactics.${i%.v}." >> Tactics.v
done