Commit 26ab9529 authored by MARCHE Claude's avatar MARCHE Claude

nightly bench: more robust detection of Coq version

parent 99d68972
...@@ -82,7 +82,8 @@ perl -pi -e 's/running_provers_max = 2/running_provers_max = 4/' why3.conf ...@@ -82,7 +82,8 @@ 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'` COQVER=$(why3 --list-provers | sed -n -e 's/ Coq (\?\([0-9.]\+\).*/\1/p')
echo "Coq version detected: $COQVER" >> $REPORT
if test "$COQVER" != "" ; then if test "$COQVER" != "" ; then
cat >> why3.conf <<EOF cat >> why3.conf <<EOF
......
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