From mboxrd@z Thu Jan  1 00:00:00 1970
From: Sebastien.Hinderer@inria.fr (=?utf-8?Q?S=C3=A9bastien?= Hinderer)
Date: Wed, 14 Oct 2015 23:58:38 +0200
Subject: [Cocci] Compiling latest coccinelle with opensuse
In-Reply-To: <alpine.DEB.2.02.1510142347330.1977@localhost6.localdomain6>
References: <20151013211451.GD14464@wotan.suse.de>
 <alpine.DEB.2.02.1510132317080.2189@localhost6.localdomain6>
 <20151013220512.GE14464@wotan.suse.de>
 <alpine.DEB.2.02.1510140724160.2038@localhost6.localdomain6>
 <20151014071143.GA6178@pema>
 <alpine.DEB.2.10.1510140956240.2421@hadrien>
 <20151014085350.GB1543@pl-59055.rocqadm.inria.fr>
 <20151014205913.GH14464@wotan.suse.de> <20151014214454.GB2920@pema>
 <alpine.DEB.2.02.1510142347330.1977@localhost6.localdomain6>
Message-ID: <20151014215838.GE2920@pema>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

Julia Lawall (2015/10/14 23:48 +0200):
> I have the impression that he managed to have menhirLib without installing 
> menhir when he used the github version.  Is that possible?

Perhaps...

> Is there a bundle for menhirLib?

As far as I understand, the menhir bundle provides both the tool and
MenhirLib.

S?bastien.