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 erro
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
> th
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
*
CALL FOR PARTICIPATION
TLDI 2009
ACM SIGPLAN Workshop on
Types in Language Design and Implementation
24 Jan
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