[Caml-list] ocamlbuild / menhir with --infer / ocamlc options other than -I

[Caml-list] ocamlbuild / menhir with --infer / ocamlc options other than -I

[Pierre-Yves Strub]

Hi,

I have a parser that opens a module compiled with -rectypes. Although I 
added the rectypes tags (true: rectypes) to my ocamlbuild configuration, 
ocamlbuild does not add the -rectypes flag to the --ocamlc command given 
to menhir.

 From the source code (ocaml_tools.menhir), it seems that only the 
include flags are passed to the --ocamlc command:

   Cmd(S[menhir;
         A"--ocamlc"; Quote(S[!Options.ocamlc; ocaml_include_flags mly]);
         T(tags_of_pathname mly++"ocaml"++"parser"++"menhir");
         A"--infer"; Px mly])

Bests,
     Pierre-Yves.

Re: [Caml-list] ocamlbuild / menhir with --infer / ocamlc options other than -I

[Gabriel Scherer]

Thanks for the report.

I'm not quite sure but I believe this is similar to the issue PR#5763:
  http://caml.inria.fr/mantis/view.php?id=5763

Could you check if the proposed patch solves your problem?

If not, could you submit an issue on the bugtracker, hopefully with a
short example demonstrating the problem to make reproduction easier?

On Tue, Jan 8, 2013 at 4:35 PM, Pierre-Yves Strub <pierre-yves@strub.nu> wrote:
> Hi,
>
> I have a parser that opens a module compiled with -rectypes. Although I
> added the rectypes tags (true: rectypes) to my ocamlbuild configuration,
> ocamlbuild does not add the -rectypes flag to the --ocamlc command given to
> menhir.
>
> From the source code (ocaml_tools.menhir), it seems that only the include
> flags are passed to the --ocamlc command:
>
>   Cmd(S[menhir;
>         A"--ocamlc"; Quote(S[!Options.ocamlc; ocaml_include_flags mly]);
>         T(tags_of_pathname mly++"ocaml"++"parser"++"menhir");
>         A"--infer"; Px mly])
>
> Bests,
>     Pierre-Yves.
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] ocamlbuild / menhir with --infer / ocamlc options other than -I

[Pierre-Yves Strub]

Hi,

Issue PR#5763 is identical to my problem.

Thanks,
     Pierre-Yves.

On 01/08/2013 04:44 PM, Gabriel Scherer wrote:
> Thanks for the report.
>
> I'm not quite sure but I believe this is similar to the issue PR#5763:
>    http://caml.inria.fr/mantis/view.php?id=5763
>
> Could you check if the proposed patch solves your problem?
>
> If not, could you submit an issue on the bugtracker, hopefully with a
> short example demonstrating the problem to make reproduction easier?
>
> On Tue, Jan 8, 2013 at 4:35 PM, Pierre-Yves Strub <pierre-yves@strub.nu> wrote:
>> Hi,
>>
>> I have a parser that opens a module compiled with -rectypes. Although I
>> added the rectypes tags (true: rectypes) to my ocamlbuild configuration,
>> ocamlbuild does not add the -rectypes flag to the --ocamlc command given to
>> menhir.
>>
>>  From the source code (ocaml_tools.menhir), it seems that only the include
>> flags are passed to the --ocamlc command:
>>
>>    Cmd(S[menhir;
>>          A"--ocamlc"; Quote(S[!Options.ocamlc; ocaml_include_flags mly]);
>>          T(tags_of_pathname mly++"ocaml"++"parser"++"menhir");
>>          A"--infer"; Px mly])
>>
>> Bests,
>>      Pierre-Yves.
>>
>> --
>> Caml-list mailing list.  Subscription management and archives:
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs