aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/template/init.sh
blob: db34e9182fd4f3b01735a0397249ff2fb0c72c66 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
. ../template/path-init.sh

rm -rf theories src Makefile Makefile.conf tmp
git clean -dfx || true

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