Commit 97445ac9 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add detection for Coq 8.5pl1.

parent 08f7552e
......@@ -496,6 +496,7 @@ compile_time_support = true
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.5pl1"
version_ok = "8.5"
command = "%e -R %l/coq-tactic Why3 -R %l/coq Why3 -l %f"
driver = "drivers/coq.drv"
......@@ -507,12 +508,7 @@ compile_time_support = true
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.4pl6"
version_ok = "8.4pl5"
version_ok = "8.4pl4"
version_ok = "8.4pl3"
version_ok = "8.4pl2"
version_ok = "8.4pl1"
version_ok = "8.4pl[1-6]"
version_ok = "8.4"
command = "%l/why3-cpulimit 0 %m -s %e -R %l/coq-tactic Why3 -R %l/coq Why3 -l %f"
driver = "drivers/coq.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