From 263cef127d5e6a3e016f062a10045d9c80a46bd8 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 11 Jun 2017 18:16:45 -0400
Subject: Add script to remake Tactics.v file

---
 src/Util/remake_tactics.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 src/Util/remake_tactics.sh

(limited to 'src/Util/remake_tactics.sh')

diff --git a/src/Util/remake_tactics.sh b/src/Util/remake_tactics.sh
new file mode 100755
index 000000000..69e94cc0b
--- /dev/null
+++ b/src/Util/remake_tactics.sh
@@ -0,0 +1,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
-- 
cgit v1.2.3