Commit 4f1a79e8 authored by Heiko Becker's avatar Heiko Becker

Disable Coq 8.7.2 also in CI scripts

parent 7f887342
......@@ -3,18 +3,18 @@
cd ./coq
opam switch coq8.7.2
eval `opam config env`
./configure_coq.sh
make -j
#opam switch coq8.7.2
#eval `opam config env`
#./configure_coq.sh
#make -j
if [[ "$?" != "0" ]];
then
echo "Compilation with Coq 8.7.2 failed"
exit 1
fi
#if [[ "$?" != "0" ]];
#then
# echo "Compilation with Coq 8.7.2 failed"
# exit 1
#fi
make clean
#make clean
opam switch coq8.8
eval `opam config env`
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment