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

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

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

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

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