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