From mboxrd@z Thu Jan 1 00:00:00 1970 From: elfring@users.sourceforge.net (SF Markus Elfring) Date: Tue, 16 Dec 2014 21:00:17 +0100 Subject: [Cocci] 1.0.0-rc23 release - Menhir updates In-Reply-To: References: <549014AD.8090807@users.sourceforge.net> Message-ID: <54908F51.3050204@users.sourceforge.net> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr >> Do I need to reuse an older Menhir software library here? > > I haven't tried the new version of menhir. Thanks for the warning. Now I am curious when your software will work together with this one again. > Perhaps you can use the old version for the moment. I can reuse source files from the archive "menhir-20130911.tar.gz" (for example) for a while. I guess that dependency management will become more interesting for corresponding software packages, won't it? Regards, Markus