blob: a10e63b42ebafc43fffd9371f935cad59a9295bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/usr/bin/env bash
set -e
. ../template/init.sh
mv theories/sub theories2
coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
make
cp ../_CoqProject.sub theories2/_CoqProject
cd theories2
coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
make
|