Commit 8b32d86b authored by MARCHE Claude's avatar MARCHE Claude
Browse files

nightly-bench: detect Coq version and adapt prover upgrade policies accordingly

parent 7c013855
...@@ -71,6 +71,9 @@ fi ...@@ -71,6 +71,9 @@ fi
perl -pi -e 's/running_provers_max = 2/running_provers_max = 4/' why3.conf perl -pi -e 's/running_provers_max = 2/running_provers_max = 4/' why3.conf
# add uninstalled prover substitution policies # add uninstalled prover substitution policies
COQVER=`bin/why3 --list-provers | sed -n -e 's/ Coq (\(.*\))/\1/p'`
if test "$COQVER" != "" ; then
cat >> why3.conf <<EOF cat >> why3.conf <<EOF
[uninstalled_prover policy0] [uninstalled_prover policy0]
...@@ -79,7 +82,7 @@ name = "Coq" ...@@ -79,7 +82,7 @@ name = "Coq"
policy = "upgrade" policy = "upgrade"
target_alternative = "" target_alternative = ""
target_name = "Coq" target_name = "Coq"
target_version = "8.4pl5" target_version = "$COQVER"
version = "8.4pl4" version = "8.4pl4"
[uninstalled_prover policy1] [uninstalled_prover policy1]
...@@ -88,7 +91,7 @@ name = "Coq" ...@@ -88,7 +91,7 @@ name = "Coq"
policy = "upgrade" policy = "upgrade"
target_alternative = "" target_alternative = ""
target_name = "Coq" target_name = "Coq"
target_version = "8.4pl4" target_version = "$COQVER"
version = "8.4pl5" version = "8.4pl5"
[uninstalled_prover policy2] [uninstalled_prover policy2]
...@@ -97,10 +100,11 @@ name = "Coq" ...@@ -97,10 +100,11 @@ name = "Coq"
policy = "upgrade" policy = "upgrade"
target_alternative = "" target_alternative = ""
target_name = "Coq" target_name = "Coq"
target_version = "8.4pl4" target_version = "$COQVER"
version = "8.4pl2" version = "8.4pl2"
EOF EOF
fi
# run the bench # run the bench
make bench &> $OUT make bench &> $OUT
......
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