Commit 8f34a836 authored by François Bobot's avatar François Bobot

autodetection: use the new regexp feature

parent 7d8f58e4
......@@ -27,7 +27,7 @@ exec = "alt-ergo-0.93.1"
exec = "alt-ergo-0.93"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\)"
version_ok = "0.93.1"
version_ok = "^0\.93\.[1-3]"
version_ok = "0.93"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e %f"
driver = "drivers/alt_ergo_0.93.drv"
......@@ -45,9 +45,7 @@ exec = "alt-ergo-0.8"
exec = "ergo"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\)"
version_old = "0.92.3"
version_old = "0.92.2"
version_old = "0.92.1"
version_old = "^0\.92\..+"
version_old = "0.92"
version_old = "0.91"
version_old = "0.9"
......@@ -86,14 +84,10 @@ name = "Yices"
exec = "yices"
version_switch = "--version"
version_regexp = "[Yices ]*\\([^ \n]+\\)"
version_ok = "1.0.35"
version_ok = "1.0.29"
version_ok = "1.0.28"
version_ok = "1.0.27"
version_ok = "1.0.26"
version_ok = "1.0.25"
version_old = "1.0.17"
version_old = "1.0.24"
version_ok = "^1\.0\.3[0-5]"
version_ok = "^1\.0\.2[5-9]"
version_old = "^1\.0\.2[0-4]"
version_old = "^1\.0\.1."
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e"
driver = "drivers/yices.drv"
......@@ -112,18 +106,9 @@ name = "Gappa"
exec = "gappa"
version_switch = "--version"
version_regexp = "Gappa \\([^ \n]*\\)"
version_ok = "0.16.1"
version_ok = "0.16.0"
version_ok = "0.15.1"
version_ok = "0.15.0"
version_ok = "0.14.1"
version_ok = "0.14.0"
version_ok = "0.13.0"
version_old = "0.12.3"
version_old = "0.12.2"
version_old = "0.12.1"
version_old = "0.12.0"
version_old = "0.11.2"
version_ok = "^0.16.[0-1]"
version_ok = "^0\.1[4-5]\..+"
version_old = "^0\.1[1-2]\..+"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -Eprecision=70"
driver = "drivers/gappa.drv"
......@@ -214,7 +199,7 @@ exec = "z3-3.1"
exec = "z3-3.0"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "3.2"
version_ok = "^3\..+"
version_old = "3.1"
version_old = "3.0"
driver = "drivers/z3.drv"
......@@ -230,10 +215,8 @@ exec = "z3-2.17"
exec = "z3-2.16"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_ok = "2.19"
version_old = "2.18"
version_old = "2.17"
version_old = "2.16"
version_old = "^2\.2.+"
version_old = "^2\.1[6-9]"
driver = "drivers/z3.drv"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -smt2 -rs:42 \
PHASE_SELECTION=0 \
......@@ -263,8 +246,8 @@ exec = "z3-2.1"
exec = "z3-1.3"
version_switch = "-version"
version_regexp = "Z3 version \\([^ \n\r]+\\)"
version_old = "2.2"
version_old = "2.1"
version_old = "^2\.1[0-5]"
version_old = "^2\.[0-9]"
version_old = "1.3"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e -smt %f"
driver = "drivers/z3_smtv1.drv"
......
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