Browse thread
Notes from testing OCaml 3.11.0+beta1 on Fedora
-
Richard Jones
- Stéphane Glondu
- Jacques Carette
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| 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. Cheers, -- Stéphane