From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Wed, 18 May 2016 10:28:49 +0200
Subject: [Cocci] Build configuration challenges around "Menhir"
In-Reply-To: <alpine.DEB.2.02.1605180711280.2031@localhost6.localdomain6>
References: <CAB=NE6X4mqH+Vj41bba4e7y7vYKqhpsC5dqHUZLrmDKtA1XVwA@mail.gmail.com>
 <alpine.DEB.2.02.1605172250560.2064@localhost6.localdomain6>
 <CAB=NE6V=aqW8VC4OML6vc+hJHkbcfH3dBzo==3uVRAuZK8Mv6A@mail.gmail.com>
 <alpine.DEB.2.02.1605180711280.2031@localhost6.localdomain6>
Message-ID: <a3fa0af3-b679-124d-09c3-60385e6ad34f@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

>> error: the file parser_cocci_menhir.ml is needed, which requires
>> preprocessing by menhir to obtain it from parser_cocci_menhir.mly.
>> However, menhir is not enabled.
> 
> Indeed, it is not there.  I guess it was decided that people who use 
> github should have the capability to generate everything from scratch.  
> But I don't really know...  Will check.

Are there a few build challenges left over for proper configuration checks
around the bundling (or other source) of this software library?

https://github.com/coccinelle/coccinelle/blob/cd539cd12ad0674d5a8f4c33f6c21ae00aec8e57/configure.ac#L152
https://github.com/coccinelle/coccinelle/blob/db45d7549bdde52f95bf2885ef652a42862854bb/setup/fake-menhir.sh#L5

Regards,
Markus