Coccinelle archive mirror
 help / color / mirror / Atom feed
From: Julia Lawall <julia.lawall@inria.fr>
To: "Richard W.M. Jones" <rjones@redhat.com>
Cc: cocci@inria.fr
Subject: Re: [cocci] Very long compile times on parsing_cocci/parser_cocci_menhir.ml
Date: Tue, 7 May 2024 11:56:14 +0200 (CEST)	[thread overview]
Message-ID: <eff9496-f762-9333-b69e-b2fdbb2a8b18@inria.fr> (raw)
In-Reply-To: <20240507094550.GG7636@redhat.com>



On Tue, 7 May 2024, Richard W.M. Jones wrote:

> On Fri, May 03, 2024 at 05:50:28PM +0200, Julia Lawall wrote:
> > I don't know if it is worth notifying the OCaml developers.  Maybe they
> > know already that this can be a problem.
>
> My colleague had a go at a compiler patch:
>
> https://github.com/ocaml/ocaml/pull/13150

That's great.  Thanks!

julia


>
> Rich.
>
> --
> Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
> Read my programming and virtualization blog: http://rwmj.wordpress.com
> virt-builder quickly builds VMs from scratch
> http://libguestfs.org/virt-builder.1.html
>
>

  reply	other threads:[~2024-05-07  9:56 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-05-02  8:54 [cocci] Very long compile times on parsing_cocci/parser_cocci_menhir.ml Richard W.M. Jones
2024-05-02  9:01 ` Wolfram Sang
2024-05-02 16:16   ` Richard W.M. Jones
2024-05-02 17:40     ` Wolfram Sang
2024-05-02  9:44 ` Julia Lawall
2024-05-02 16:31   ` Richard W.M. Jones
2024-05-02 16:39     ` Julia Lawall
2024-05-02 16:49       ` Richard W.M. Jones
2024-05-02 17:02         ` Julia Lawall
2024-05-03 12:15           ` Richard W.M. Jones
2024-05-03 13:15             ` [cocci] Influence of build configuration parameter “--enable-flambda” on compilation of OCaml source files Markus Elfring
2024-05-03 15:50             ` [cocci] Very long compile times on parsing_cocci/parser_cocci_menhir.ml Julia Lawall
2024-05-03 16:43               ` Markus Elfring
2024-05-07  9:45               ` Richard W.M. Jones
2024-05-07  9:56                 ` Julia Lawall [this message]
2024-05-05  5:25             ` [cocci] Using OCaml compiler variants? Markus Elfring
2024-05-02 17:19         ` [cocci] Very long compile times on parsing_cocci/parser_cocci_menhir.ml Richard W.M. Jones
2024-05-02 17:31           ` Richard W.M. Jones
2024-05-02 21:41             ` Julia Lawall
2024-05-03  7:31               ` Richard W.M. Jones
2024-05-03  8:00                 ` Markus Elfring
2024-05-03 10:24                   ` Richard W.M. Jones
2024-05-03 10:40                     ` [cocci] Analysing software build processes Markus Elfring
2024-05-03 10:59                       ` Richard W.M. Jones
2024-05-03 11:15                         ` Markus Elfring
2024-05-02 10:18 ` [cocci] Checking compilation durations for “parser_cocci_menhir.ml” Markus Elfring

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=eff9496-f762-9333-b69e-b2fdbb2a8b18@inria.fr \
    --to=julia.lawall@inria.fr \
    --cc=cocci@inria.fr \
    --cc=rjones@redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).