Richard Jones wrote:
coq
--
Strange camlp4 problem, not yet resolved. Maybe just a missing
BuildRequires:
OCAMLClib/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
Excerpts from Alexy Khrabrov's message of Tue Dec 09 08:12:38 +0100 2008:
When trying to build hunpos,
http://code.google.com/p/hunpos/
-- under 3.11, it complains that ocamlbuildlib.cmxa cannot be found in
`ocamlbuild -where`, and it's not there after I did make world.opt in
the top
Hello
Ok, thanks for the feedback.
To my mind, the best way is to provide a patch through the bug tracking
system of INRIA. This is highly probable that INRIA team doesn't accept
it directly but ask you to justify/modify it in order to fit the whole
compiler -- which could be quiet a long
pa_monad has been updated to work with Objective Caml 3.11.0. Quite a
lot of maintenance work has also been performed (including a renumbering
of the versions to be less haphazard). See
http://www.cas.mcmaster.ca/~carette/pa_monad/index.html for details.
Jacques, Lydia and Oleg
On 09-12-2008, Gilles Pirio [EMAIL PROTECTED] wrote:
To my mind, the best way is to provide a patch through the bug tracking
system of INRIA. This is highly probable that INRIA team doesn't accept
it directly but ask you to justify/modify it in order to fit the whole
compiler -- which could be
