From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Tue, 8 Mar 2016 12:43:22 +0100
Subject: [Cocci] Checking build parameters for Menhir
In-Reply-To: <alpine.DEB.2.10.1603081953040.2693@hadrien>
References: <CAJTCqFadstafOZPgjDoV48zNFBHkTdp+4=a0WLGbfKaTCSqgOw@mail.gmail.com>
 <56D99C75.7080100@users.sourceforge.net>
 <CAO=9Y+2Qm+A9a91zGrYNJavOXcWFR2hj5Xx+=FPG1p02KdC7Ew@mail.gmail.com>
 <56DDCAD3.2080309@users.sourceforge.net>
 <alpine.DEB.2.10.1603080655550.2647@hadrien>
 <56DDFEA7.1080407@users.sourceforge.net>
 <alpine.DEB.2.10.1603080728340.2647@hadrien>
 <56DE94FD.3030707@users.sourceforge.net>
 <alpine.DEB.2.10.1603081953040.2693@hadrien>
Message-ID: <56DEBADA.402@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

> Menhirlib is needed from the Coccinelle sources if you do not already have
> menhir installed on your machine.  Thus there are two options.

Can the build configuration parameters become clearer for this software requirement?

Regards,
Markus