[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[Fabio Estevam]

Hi,

I am trying to install Coccinelle 1.0.0 (retrieved from the git) on a
Ubuntu 14.04 PC and I am getting the following error:

make[4]: Entering directory `/home/fabio/coccinelle'
make[5]: Entering directory `/home/fabio/coccinelle/bundles/parmap'
cd parmap-1.0-rc5-patched && \
      make && \
      cd ..
make[6]: Entering directory
`/home/fabio/coccinelle/bundles/parmap/parmap-1.0-rc5-patched'
/usr/bin/ocamlbuild -j 10 -use-ocamlfind  parmap.cma  parmap.cmxa
parmap.cmxs parmap.a
Finished, 1 target (0 cached) in 00:00:00.
Finished, 23 targets (0 cached) in 00:00:00.
make[6]: Leaving directory
`/home/fabio/coccinelle/bundles/parmap/parmap-1.0-rc5-patched'
mv parmap-1.0-rc5-patched/_build/* .
make[5]: Leaving directory `/home/fabio/coccinelle/bundles/parmap'
make[4]: Leaving directory `/home/fabio/coccinelle'
make[4]: Entering directory `/home/fabio/coccinelle'
make[5]: Entering directory `/home/fabio/coccinelle/commons'
make[5]: Nothing to be done for `all'.
make[5]: Leaving directory `/home/fabio/coccinelle/commons'
make[4]: Leaving directory `/home/fabio/coccinelle'
make[4]: Entering directory `/home/fabio/coccinelle'
make[5]: Entering directory `/home/fabio/coccinelle/globals'
/usr/bin/ocamlc.opt -g  -I ../commons -I /usr/lib/ocaml/pcre -c regexp_pcre.ml
File "./regexp_pcre.ml", line 22, characters 32-43:
Error: Unbound module Pcre
make[5]: *** [regexp_pcre.cmo] Error 2
make[5]: Leaving directory `/home/fabio/coccinelle/globals'
make[4]: *** [globals.all] Error 2
make[4]: Leaving directory `/home/fabio/coccinelle'
make[3]: *** [subdirs.all] Error 1
make[3]: Leaving directory `/home/fabio/coccinelle'
make[2]: *** [byte] Error 2
make[2]: Leaving directory `/home/fabio/coccinelle'
make[1]: *** [all-dev] Error 2
make[1]: Leaving directory `/home/fabio/coccinelle'
make: *** [all] Error 2

Any ideas on how to solve this?

Thanks,

Fabio Estevam

[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[Sébastien Hinderer]

Hi Fabio,


Fabio Estevam (2015/05/08 20:12 -0300):
> File "./regexp_pcre.ml", line 22, characters 32-43:
> Error: Unbound module Pcre

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?

S?bastien.

[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[Fabio Estevam]

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

Thanks,

Fabio Estevam

[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[Fabio Estevam]

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.

Regards,

Fabio Estevam

[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[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.

[Cocci] Installing Coccinelle 1.0.0 on Ubuntu 14.04

[Julia Lawall]

On Sat, 9 May 2015, S?bastien Hinderer wrote:

> Hi Fabio,
> 
> 
> Fabio Estevam (2015/05/08 20:12 -0300):
> > File "./regexp_pcre.ml", line 22, characters 32-43:
> > Error: Unbound module Pcre
> 
> 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?

It's a known problem.  For some reason, the configure mechanism doesn't 
work for Pcre.  Whether you select to have it or not, you have to have it.  
Just install it, and things will go better (this is not intended as the 
definitive solution, but we haven't had time to work on it).

julia