On 2016/02/13 19:49, Michael McConville wrote: > IIUC, we use a bundled version of Menhir in Coccinelle. It exists as the > tarball bundles/menhirLib/menhir-20120123.tar.gz in the Coccinelle > codebase. > > Here's the relevant Makefile line: > > > CONFIGURE_ARGS += --disable-menhirLib # version in ports is too new > > However, the build fails for me because it can't find the module > MenhirLib.IncrementalEngine. This seems related, but I'm not sure. It's > been failing for me for weeks; maybe the fact that no one else has > reported it means that it's something anomalous on my machine. > > Has anyone else run into this? I have the Menhir package installed - > maybe that's what triggers it.
It builds reliably in my bulks. Perhaps there is some conflict with the version of Menhir from packages. >
