ci-coq.sh 179 Bytes
Newer Older
Heiko Becker's avatar
Heiko Becker committed
1 2
#!/bin/sh

Heiko Becker's avatar
Heiko Becker committed
3

Heiko Becker's avatar
Heiko Becker committed
4
cd ./coq
Heiko Becker's avatar
Heiko Becker committed
5 6 7 8 9 10 11 12

opam switch coq8.7.2
eval `opam config env`
./configure_coq.sh
make -j

make clean

13 14 15 16
#opam switch coq8.8
#eval `opam config env`
#./configure_coq.sh
#make -j