From: Sebastien.Hinderer@inria.fr (Sébastien Hinderer)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Common.union_setError (was: Compiling latest coccinelle with opensuse)
Date: Wed, 14 Oct 2015 23:53:41 +0200 [thread overview]
Message-ID: <20151014215341.GC2920@pema> (raw)
In-Reply-To: <alpine.DEB.2.02.1510142345000.1977@localhost6.localdomain6>
Julia Lawall (2015/10/14 23:47 +0200):
> OK, menhirLib is always needed with Coccinelle. Maybe Coccinelle manages
> to use its own version, if you don't have one installed. I had thought
> that Sebastien said that the menhir bundle was not being activated, but
> perhaps I misunderstood.
I'm myself confused, sorry about that Julia. There definitely is an
issue in Coccinelle's uild system regading this. What I noiced (using
INria's tree) is that Coccinelle is not able to use its bundled menhir.
So if no Menhir is installed, things go wrong. I don't remember exactly
what goes wrong but there's deinitely something that needs to be fixed
here.
S?bastien.
next prev parent reply other threads:[~2015-10-14 21:53 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-13 20:19 [Cocci] Compiling latest coccinelle with opensuse Luis R. Rodriguez
2015-10-13 20:26 ` Julia Lawall
2015-10-13 20:37 ` Luis R. Rodriguez
2015-10-13 20:44 ` Julia Lawall
2015-10-13 20:49 ` Luis R. Rodriguez
2015-10-13 20:58 ` Julia Lawall
2015-10-13 21:14 ` Luis R. Rodriguez
2015-10-13 21:18 ` Julia Lawall
2015-10-13 22:05 ` Luis R. Rodriguez
2015-10-14 5:26 ` Julia Lawall
2015-10-14 7:11 ` Sébastien Hinderer
2015-10-14 7:59 ` Julia Lawall
2015-10-14 8:53 ` Sébastien Hinderer
2015-10-14 20:59 ` Luis R. Rodriguez
2015-10-14 21:04 ` Julia Lawall
2015-10-14 21:23 ` [Cocci] Common.union_setError (was: Compiling latest coccinelle with opensuse) Luis R. Rodriguez
2015-10-14 21:32 ` Julia Lawall
2015-10-14 21:39 ` Luis R. Rodriguez
2015-10-14 21:47 ` Julia Lawall
2015-10-14 21:53 ` Sébastien Hinderer [this message]
2015-10-14 21:44 ` [Cocci] Compiling latest coccinelle with opensuse Sébastien Hinderer
2015-10-14 21:48 ` Julia Lawall
2015-10-14 21:58 ` Sébastien Hinderer
2015-10-14 10:54 ` [Cocci] Compiling latest Coccinelle with openSUSE SF Markus Elfring
2015-10-14 14:47 ` [Cocci] Compiling latest coccinelle with opensuse Sébastien Hinderer
2015-10-14 15:22 ` [Cocci] Compiling latest Coccinelle with openSUSE SF Markus Elfring
2015-10-14 10:32 ` [Cocci] Compiling Coccinelle with specific OCaml versions on openSUSE SF Markus Elfring
2015-10-14 14:44 ` Sébastien Hinderer
2015-10-14 14:49 ` Julia Lawall
2015-10-14 14:57 ` Sébastien Hinderer
2015-10-14 15:43 ` SF 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=20151014215341.GC2920@pema \
--to=sebastien.hinderer@inria.fr \
--cc=cocci@systeme.lip6.fr \
/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