English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Notes from testing OCaml 3.11.0+beta1 on Fedora
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-12-09 (09:32)
From: Stéphane Glondu <steph@g...>
Subject: Re: Notes from testing OCaml 3.11.0+beta1 on Fedora
Richard Jones wrote:
> coq
> ------------------------------
> Strange camlp4 problem, not yet resolved.  Maybe just a missing
> BuildRequires:
> OCAMLC    lib/pp.mli
> OCAMLC4   lib/pp.ml4
> sh: camlp4o: command not found
> File "lib/pp.ml4", line 1, characters 0-1:
> Error: Preprocessor error

This is probably because configure doesn't detect it should use camlp5
instead of camlp4. It is already fixed upstream (and will be in
(hopefully) forthcoming 8.2). Meanwhile, it can be worked around by
explicitly passing -camlp5dir option to it.