ci-coq.sh 175 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