rebuild provers-data-conf when necessary; support for Gappa 0.14.0 (but...

rebuild provers-data-conf when necessary; support for Gappa 0.14.0 (but Gappa's driver still to be fixed)

META.in

-description = "OCaml interface to Mlpost"
+description = "The Why3 Ocaml library"
 version = "@VERSION@"
 archive(byte) = "why.cma"
 archive(native) = "why.cmxa"

Makefile.in

@@ -1103,7 +1103,7 @@ share/provers-detection-data.conf: share/provers-detection-data.conf.in config.s
 config.status: configure Version
 	./config.status --recheck
 
-opt byte : META
+opt byte : META share/provers-detection-data.conf
 
 META: META.in config.status
 	./config.status chmod --file $@

share/provers-detection-data.conf.in

@@ -48,13 +48,14 @@ name = "Gappa"
 exec = "gappa"
 version_switch = "--version"
 version_regexp = "Gappa \\([^ \n]*\\)"
+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"
-command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
+command = "@LOCALBIN@why3-cpulimit %t %m -s %e"
 driver = "drivers/gappa.drv"
 
 [ATP simplify]

src/driver/whyconf.ml

@@ -28,7 +28,7 @@ open Rc
 
 If a configuration doesn't contain the actual magic number we don't use it.*)
 
-let magicnumber = 3
+let magicnumber = 4
 
 exception WrongMagicNumber