From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 14:31:27 -0500
Subject: Imported Upstream version 8.8.2

---
 test-suite/coq-makefile/template/init.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 test-suite/coq-makefile/template/init.sh

(limited to 'test-suite/coq-makefile/template/init.sh')

diff --git a/test-suite/coq-makefile/template/init.sh b/test-suite/coq-makefile/template/init.sh
new file mode 100755
index 00000000..e19d168c
--- /dev/null
+++ b/test-suite/coq-makefile/template/init.sh
@@ -0,0 +1,17 @@
+. ../template/path-init.sh
+
+rm -rf _test
+mkdir _test
+find . -maxdepth 1 -not -name . -not -name _test -exec cp -r '{}' -t _test ';'
+
+cd _test
+mkdir -p src
+mkdir -p theories/sub
+
+cp ../../template/theories/sub/testsub.v theories/sub
+cp ../../template/theories/test.v theories
+cp ../../template/src/test.ml4 src
+cp ../../template/src/test_aux.mli src
+cp ../../template/src/test.mli src
+cp ../../template/src/test_plugin.mlpack src
+cp ../../template/src/test_aux.ml src
-- 
cgit v1.2.3