From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Compiling latest Coccinelle with openSUSE
Date: Wed, 14 Oct 2015 12:54:37 +0200 [thread overview]
Message-ID: <561E346D.2090005@users.sourceforge.net> (raw)
In-Reply-To: <20151014071143.GA6178@pema>
> Normally, when Menhir is not installed, Coccinelle's buil system
> should use the one provided in the bundles directory (same for MenhirLib).
> At the moment this does not work quite wll and I am currently working on
> fixing this issue.
I am curious on how this software development will evolve.
> Meanwhile, one other simple thing you could try is to install menhir
> either through your distribution if it is packaged, or directly from sources.
> Then start from a clean git repository and do the usual procedure
> and I believe that shold work and would appreciate to know if it does not.
I guess that there are further dependencies to consider.
For which data processing tasks is this library needed in Coccinelle so far?
http://cristal.inria.fr/~fpottier/menhir/CHANGES
How do you think about to reuse the package "menhir-20151012.tar.gz"
(together with the software "OCaml 4.02.3")?
Regards,
Markus
next prev parent reply other threads:[~2015-10-14 10:54 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
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 ` SF Markus Elfring [this message]
2015-10-14 14:47 ` 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=561E346D.2090005@users.sourceforge.net \
--to=elfring@users.sourceforge.net \
--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