ci-coq.sh 272 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
#opam switch coq8.7.2
#eval `opam config env`
#./configure_coq.sh
#make -j
Heiko Becker's avatar
Heiko Becker committed
10

11 12 13 14 15
#if [[ "$?" != "0" ]];
#then
#    echo "Compilation with Coq 8.7.2 failed"
#    exit 1
#fi
16

17
#make clean
Heiko Becker's avatar
Heiko Becker committed
18

19 20 21 22
opam switch coq8.8
eval `opam config env`
./configure_coq.sh
make -j