Commit e94015c4 authored by MARCHE Claude's avatar MARCHE Claude

Support for Alt-Ergo 1.10 private

parent 5cc9bf38
...@@ -2,8 +2,10 @@ ...@@ -2,8 +2,10 @@
name = "Alt-Ergo" name = "Alt-Ergo"
exec = "alt-ergo" exec = "alt-ergo"
exec = "alt-ergo-1.00.prv" exec = "alt-ergo-1.00.prv"
exec = "alt-ergo-1.10.prv"
version_switch = "-version" version_switch = "-version"
version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$" version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$"
version_ok = "1.10.prv"
version_ok = "1.00.prv" version_ok = "1.00.prv"
# %T means timelimit+1 # %T means timelimit+1
command = "%l/why3-cpulimit %T %m -s %e -timelimit %t %f" command = "%l/why3-cpulimit %T %m -s %e -timelimit %t %f"
......
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