Commit c7f981a0 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Use a suitable driver for Coq pl2.

parent 4e9f3eb2
......@@ -392,6 +392,7 @@ name = "Coq"
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.4pl2"
version_ok = "8.4pl1"
version_ok = "8.4"
command = "'@LOCALBIN@why3-cpulimit' 0 %m -s %e -I %l/coq-tactic -R %l/coq Why3 -l %f"
......@@ -403,9 +404,6 @@ name = "Coq"
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.4pl2"
version_ok = "8.4pl1"
version_ok = "8.4"
version_ok = "8.3pl4"
version_ok = "8.3pl3"
version_ok = "8.3pl2"
......
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