Commit 6c5c3c9c authored by Andrei Paskevich's avatar Andrei Paskevich

use Alt-Ergo 0.94 by default

parent 8863d225
[ATP alt-ergo-model]
[ATP alt-ergo]
name = "Alt-Ergo"
alternative = "models"
exec = "alt-ergo"
exec = "alt-ergo-0.95-dev"
exec = "alt-ergo-0.94"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\(-dev\\)?\\)"
version_ok = "0.95"
version_ok = "0.95-dev"
command = "'@LOCALBIN@why3-cpulimit' %T %m -s %e -timelimit %t -model %f"
driver = "drivers/alt_ergo_model.drv"
version_regexp = "\\([0-9.]+\\)"
version_ok = "0.94"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e %f"
driver = "drivers/alt_ergo_0.94.drv"
editor = "altgr-ergo"
[ATP alt-ergo]
......@@ -24,15 +22,17 @@ command = "'@LOCALBIN@why3-cpulimit' %T %m -s %e -timelimit %t %f"
driver = "drivers/alt_ergo.drv"
editor = "altgr-ergo"
[ATP alt-ergo]
[ATP alt-ergo-model]
name = "Alt-Ergo"
alternative = "models"
exec = "alt-ergo"
exec = "alt-ergo-0.94"
exec = "alt-ergo-0.95-dev"
version_switch = "-version"
version_regexp = "\\([0-9.]+\\)"
version_ok = "0.94"
command = "'@LOCALBIN@why3-cpulimit' %t %m -s %e %f"
driver = "drivers/alt_ergo_0.94.drv"
version_regexp = "\\([0-9.]+\\(-dev\\)?\\)"
version_ok = "0.95"
version_ok = "0.95-dev"
command = "'@LOCALBIN@why3-cpulimit' %T %m -s %e -timelimit %t -model %f"
driver = "drivers/alt_ergo_model.drv"
editor = "altgr-ergo"
[ATP alt-ergo]
......
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