Bonjour, La compilation de coq ne passe plus avec ocaml 3.08.1, sans doute à cause des modifications de camlp4 (camlp4 parsing of patterns now conforms to normal parsing (PR#3015) ?). OCAMLC4 contrib/funind/tacinv.ml4 Warning: pa_ifdef is deprecated since OCaml 3.07. Use pa_macro instead. File "contrib/funind/tacinv.ml4", line 498, characters 38-39: Parse error: [fun_def] expected after [simple_patt] (in [expr]) Uncaught exception: Stream.Error("[fun_def] expected after [simple_patt] (in [expr])") Preprocessor error Or cette release d'ocaml a été justement faite entre autres pour régler les problèmes de licence pour la sarge. Est-ce que tu penses que vous pourriez avoir un patch [très] rapidement ? Désolé de vous ennuyer comme ça, ça sera plus calme jusqu'à la prochaine release... Merci, Samuel. -- Samuel Mimram samuel.mimram@ens-lyon.fr
Attachment:
pgpoc16TpUWqm.pgp
Description: PGP signature