Commit 5018c5f7 authored by MARCHE Claude's avatar MARCHE Claude

nightly bench: auto upgrade coq proofs to version 8.6.1

parent f55a9bb4
......@@ -77,50 +77,23 @@ COQVER=`bin/why3 --list-provers | sed -n -e 's/ Coq (\(.*\))/\1/p'`
if test "$COQVER" != "" ; then
cat >> why3.conf <<EOF
[uninstalled_prover policy0]
[uninstalled_prover coq85]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl2"
[uninstalled_prover policy1]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl4"
[uninstalled_prover policy2]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl5"
[uninstalled_prover policy3]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.4pl6"
version = "8.5"
[uninstalled_prover policy4]
[uninstalled_prover coq86]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.5"
version = "8.6"
EOF
fi
......
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