[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[Sebastien.Hinderer@inria.fr (Sébastien Hinderer)]

Fabio Estevam (2015/05/08 21:23 -0300):
> On Fri, May 8, 2015 at 8:41 PM, Fabio Estevam <festevam@gmail.com> wrote:
> > Hi S?bastien,
> >
> > On Fri, May 8, 2015 at 8:19 PM, S?bastien Hinderer
> > <Sebastien.Hinderer@inria.fr> wrote:
> >
> >> Strange that the module is not found. What do you see related to regexp
> >> in the output o configure, please? If you are unsure, could you please
> >> send configure's output?
> >
> > In the output of ./configure I see only one reference to regexp:
> >
> > config.status: creating globals/regexp.ml
> >
> > If you would like to check the full output, please check:
> > http://pastebin.com/ACMD7gw0
> 
> Ok, got it build after installing the libpcre-ocaml-dev package.

Thanks. IT is true that coccinelle's current build system does not make a
good job at veryfing that the necessary development files are properly
installed.

S?bastien.