[Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Patrick Doyle]

TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having
installed all the dependencies that seem to make sense, and it fails
to compile.

I need to use a version of spatch >= 1.0.6 for another project, and
the version supplied with Ubuntu is 1.0.4.

So I:

$ git clone https://github.com/coccinelle/coccinelle.git
$ cd coccinelle
$ ./autogen
$ ./configure --prefix=/home/wpd/local
$ make

and that fails with

...
cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi
cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx
cp: cannot stat '/usr/lib/ocaml/parmap/parmap.cmx': No such file or directory
Makefile:620: recipe for target 'ocaml/parmap.cmi' failed
make: [ocaml/parmap.cmi] Error 1 (ignored)
rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
tools/spgen/source/spgen_lexer.ml
parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml

I have installed libparmap-ocaml-dev:

$ apt search libparmap-ocaml-dev
Sorting... Done
Full Text Search... Done
libparmap-ocaml-dev/xenial,now 1.0~rc7-1 amd64 [installed]
  small OCaml library allowing to exploit multicore architectures

and /usr/lib/ocaml/parmp shows:

$ ls -l /usr/lib/ocaml/parmap
total 312
-rw-r--r-- 1 root root   2379 Jan 18  2016 bytearray.cmi
-rw-r--r-- 1 root root   1615 Jan 18  2016 bytearray.mli
-rw-r--r-- 1 root root   5218 Jan 18  2016 libparmap_stubs.a
-rw-r--r-- 1 root root    219 Jan 18  2016 META
-rw-r--r-- 1 root root 117954 Jan 18  2016 parmap.a
-rw-r--r-- 1 root root  27116 Jan 18  2016 parmap.cma
-rw-r--r-- 1 root root   5814 Jan 18  2016 parmap.cmi
-rw-r--r-- 1 root root   1898 Jan 18  2016 parmap.cmxa
-rw-r--r-- 1 root root 106712 Jan 18  2016 parmap.cmxs
-rw-r--r-- 1 root root  10472 Jan 18  2016 parmap.mli
-rw-r--r-- 1 root root    906 Jan 18  2016 parmap_utils.cmi
-rw-r--r-- 1 root root    270 Jan 18  2016 parmap_utils.mli
-rw-r--r-- 1 root root    363 Jan 18  2016 setcore.cmi
-rw-r--r-- 1 root root    207 Jan 18  2016 setcore.mli

There are parmap.cmxa and parmap.cmxs files, but no parmap.cmx file.

I am stuck here (and clearly ignorant of what I am doing).  Any help
would be appreciated.

Thank you.

--wpd

[Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Julia Lawall]

On Wed, 16 May 2018, Patrick Doyle wrote:

> TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having
> installed all the dependencies that seem to make sense, and it fails
> to compile.
>
> I need to use a version of spatch >= 1.0.6 for another project, and
> the version supplied with Ubuntu is 1.0.4.
>
> So I:
>
> $ git clone https://github.com/coccinelle/coccinelle.git
> $ cd coccinelle
> $ ./autogen
> $ ./configure --prefix=/home/wpd/local
> $ make
>
> and that fails with
>
> ...
> cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi
> cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx
> cp: cannot stat '/usr/lib/ocaml/parmap/parmap.cmx': No such file or directory
> Makefile:620: recipe for target 'ocaml/parmap.cmi' failed
> make: [ocaml/parmap.cmi] Error 1 (ignored)
> rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
> tools/spgen/source/spgen_lexer.ml
> parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
> parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml

I had this problem and then somehow it disappeared...  I think that
somehow it is supposed to be giving a warning, but not actually failing.
But it does really look like it fails.  We will look into it.

julia

>
> I have installed libparmap-ocaml-dev:
>
> $ apt search libparmap-ocaml-dev
> Sorting... Done
> Full Text Search... Done
> libparmap-ocaml-dev/xenial,now 1.0~rc7-1 amd64 [installed]
>   small OCaml library allowing to exploit multicore architectures
>
> and /usr/lib/ocaml/parmp shows:
>
> $ ls -l /usr/lib/ocaml/parmap
> total 312
> -rw-r--r-- 1 root root   2379 Jan 18  2016 bytearray.cmi
> -rw-r--r-- 1 root root   1615 Jan 18  2016 bytearray.mli
> -rw-r--r-- 1 root root   5218 Jan 18  2016 libparmap_stubs.a
> -rw-r--r-- 1 root root    219 Jan 18  2016 META
> -rw-r--r-- 1 root root 117954 Jan 18  2016 parmap.a
> -rw-r--r-- 1 root root  27116 Jan 18  2016 parmap.cma
> -rw-r--r-- 1 root root   5814 Jan 18  2016 parmap.cmi
> -rw-r--r-- 1 root root   1898 Jan 18  2016 parmap.cmxa
> -rw-r--r-- 1 root root 106712 Jan 18  2016 parmap.cmxs
> -rw-r--r-- 1 root root  10472 Jan 18  2016 parmap.mli
> -rw-r--r-- 1 root root    906 Jan 18  2016 parmap_utils.cmi
> -rw-r--r-- 1 root root    270 Jan 18  2016 parmap_utils.mli
> -rw-r--r-- 1 root root    363 Jan 18  2016 setcore.cmi
> -rw-r--r-- 1 root root    207 Jan 18  2016 setcore.mli
>
> There are parmap.cmxa and parmap.cmxs files, but no parmap.cmx file.
>
> I am stuck here (and clearly ignorant of what I am doing).  Any help
> would be appreciated.
>
> Thank you.
>
> --wpd
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>

[Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Julia Lawall]

On Sat, 19 May 2018, Patrick Doyle wrote:

> On Sat, May 19, 2018 at 1:36 AM, Julia Lawall <julia.lawall@lip6.fr> wrote:
> > On Wed, 16 May 2018, Patrick Doyle wrote:
> >
> >> I just tried compiling coccinelle on a Ubuntu 16.04 system, having
> >> installed all the dependencies that seem to make sense, and it fails
> >> to compile.
> >
> > I had this problem and then somehow it disappeared...  I think that
> > somehow it is supposed to be giving a warning, but not actually failing.
> > But it does really look like it fails.  We will look into it.
> >
> > Julia
> Thank you Julia,
> I think you are correct.  When I looked more closely at the error
> message, I saw that make ignored the failure code, and indeed, when I
> attempted to run my application that relies upon spach > 1.0.6 (the
> Linux backports tool), it appears to have worked.

That's great!  Sorry that the output is so misleading...

julia

>
> Sorry for the spam... I had reached the point where one too many
> things were going wrong and decided to just stop and ask for some
> help.
>
> Thanks again.
>
> --wpd
>

Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Arend van Spriel]

On 5/16/2018 3:48 PM, Patrick Doyle wrote:
> TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having
> installed all the dependencies that seem to make sense, and it fails
> to compile.
>
> I need to use a version of spatch >= 1.0.6 for another project, and
> the version supplied with Ubuntu is 1.0.4.
>
> So I:
>
> $ git clone https://github.com/coccinelle/coccinelle.git
> $ cd coccinelle
> $ ./autogen
> $ ./configure --prefix=/home/wpd/local
> $ make
>
> and that fails with
>
> ...
> cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi
> cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx
> cp: cannot stat '/usr/lib/ocaml/parmap/parmap.cmx': No such file or directory
> Makefile:620: recipe for target 'ocaml/parmap.cmi' failed
> make: [ocaml/parmap.cmi] Error 1 (ignored)
> rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
> tools/spgen/source/spgen_lexer.ml
> parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
> parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml
>
> I have installed libparmap-ocaml-dev:
>
> $ apt search libparmap-ocaml-dev
> Sorting... Done
> Full Text Search... Done
> libparmap-ocaml-dev/xenial,now 1.0~rc7-1 amd64 [installed]
>    small OCaml library allowing to exploit multicore architectures
>
> and /usr/lib/ocaml/parmp shows:
>
> $ ls -l /usr/lib/ocaml/parmap
> total 312
> -rw-r--r-- 1 root root   2379 Jan 18  2016 bytearray.cmi
> -rw-r--r-- 1 root root   1615 Jan 18  2016 bytearray.mli
> -rw-r--r-- 1 root root   5218 Jan 18  2016 libparmap_stubs.a
> -rw-r--r-- 1 root root    219 Jan 18  2016 META
> -rw-r--r-- 1 root root 117954 Jan 18  2016 parmap.a
> -rw-r--r-- 1 root root  27116 Jan 18  2016 parmap.cma
> -rw-r--r-- 1 root root   5814 Jan 18  2016 parmap.cmi
> -rw-r--r-- 1 root root   1898 Jan 18  2016 parmap.cmxa
> -rw-r--r-- 1 root root 106712 Jan 18  2016 parmap.cmxs
> -rw-r--r-- 1 root root  10472 Jan 18  2016 parmap.mli
> -rw-r--r-- 1 root root    906 Jan 18  2016 parmap_utils.cmi
> -rw-r--r-- 1 root root    270 Jan 18  2016 parmap_utils.mli
> -rw-r--r-- 1 root root    363 Jan 18  2016 setcore.cmi
> -rw-r--r-- 1 root root    207 Jan 18  2016 setcore.mli
>
> There are parmap.cmxa and parmap.cmxs files, but no parmap.cmx file.
>
> I am stuck here (and clearly ignorant of what I am doing).  Any help
> would be appreciated.
>
> Thank you.

I found compiling it required too many stuff I did not really want on my 
system. So I generally pick up recent version from launchpad:

https://launchpad.net/~npalix/+archive/ubuntu/coccinelle

Regards,
Arend

--
To unsubscribe from this list: send the line "unsubscribe backports" in

[Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Arend van Spriel]

On 5/16/2018 3:48 PM, Patrick Doyle wrote:
> TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having
> installed all the dependencies that seem to make sense, and it fails
> to compile.
>
> I need to use a version of spatch >= 1.0.6 for another project, and
> the version supplied with Ubuntu is 1.0.4.
>
> So I:
>
> $ git clone https://github.com/coccinelle/coccinelle.git
> $ cd coccinelle
> $ ./autogen
> $ ./configure --prefix=/home/wpd/local
> $ make
>
> and that fails with
>
> ...
> cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi
> cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx
> cp: cannot stat '/usr/lib/ocaml/parmap/parmap.cmx': No such file or directory
> Makefile:620: recipe for target 'ocaml/parmap.cmi' failed
> make: [ocaml/parmap.cmi] Error 1 (ignored)
> rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
> tools/spgen/source/spgen_lexer.ml
> parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
> parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml
>
> I have installed libparmap-ocaml-dev:
>
> $ apt search libparmap-ocaml-dev
> Sorting... Done
> Full Text Search... Done
> libparmap-ocaml-dev/xenial,now 1.0~rc7-1 amd64 [installed]
>    small OCaml library allowing to exploit multicore architectures
>
> and /usr/lib/ocaml/parmp shows:
>
> $ ls -l /usr/lib/ocaml/parmap
> total 312
> -rw-r--r-- 1 root root   2379 Jan 18  2016 bytearray.cmi
> -rw-r--r-- 1 root root   1615 Jan 18  2016 bytearray.mli
> -rw-r--r-- 1 root root   5218 Jan 18  2016 libparmap_stubs.a
> -rw-r--r-- 1 root root    219 Jan 18  2016 META
> -rw-r--r-- 1 root root 117954 Jan 18  2016 parmap.a
> -rw-r--r-- 1 root root  27116 Jan 18  2016 parmap.cma
> -rw-r--r-- 1 root root   5814 Jan 18  2016 parmap.cmi
> -rw-r--r-- 1 root root   1898 Jan 18  2016 parmap.cmxa
> -rw-r--r-- 1 root root 106712 Jan 18  2016 parmap.cmxs
> -rw-r--r-- 1 root root  10472 Jan 18  2016 parmap.mli
> -rw-r--r-- 1 root root    906 Jan 18  2016 parmap_utils.cmi
> -rw-r--r-- 1 root root    270 Jan 18  2016 parmap_utils.mli
> -rw-r--r-- 1 root root    363 Jan 18  2016 setcore.cmi
> -rw-r--r-- 1 root root    207 Jan 18  2016 setcore.mli
>
> There are parmap.cmxa and parmap.cmxs files, but no parmap.cmx file.
>
> I am stuck here (and clearly ignorant of what I am doing).  Any help
> would be appreciated.
>
> Thank you.

I found compiling it required too many stuff I did not really want on my 
system. So I generally pick up recent version from launchpad:

https://launchpad.net/~npalix/+archive/ubuntu/coccinelle

Regards,
Arend

Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Julia Lawall]

On Sat, 19 May 2018, Arend van Spriel wrote:

> On 5/16/2018 3:48 PM, Patrick Doyle wrote:
> > TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having
> > installed all the dependencies that seem to make sense, and it fails
> > to compile.
> >
> > I need to use a version of spatch >= 1.0.6 for another project, and
> > the version supplied with Ubuntu is 1.0.4.
> >
> > So I:
> >
> > $ git clone https://github.com/coccinelle/coccinelle.git
> > $ cd coccinelle
> > $ ./autogen
> > $ ./configure --prefix=/home/wpd/local
> > $ make
> >
> > and that fails with
> >
> > ...
> > cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi
> > cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx
> > cp: cannot stat '/usr/lib/ocaml/parmap/parmap.cmx': No such file or
> > directory
> > Makefile:620: recipe for target 'ocaml/parmap.cmi' failed
> > make: [ocaml/parmap.cmi] Error 1 (ignored)
> > rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
> > tools/spgen/source/spgen_lexer.ml
> > parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
> > parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml
> >
> > I have installed libparmap-ocaml-dev:
> >
> > $ apt search libparmap-ocaml-dev
> > Sorting... Done
> > Full Text Search... Done
> > libparmap-ocaml-dev/xenial,now 1.0~rc7-1 amd64 [installed]
> >    small OCaml library allowing to exploit multicore architectures
> >
> > and /usr/lib/ocaml/parmp shows:
> >
> > $ ls -l /usr/lib/ocaml/parmap
> > total 312
> > -rw-r--r-- 1 root root   2379 Jan 18  2016 bytearray.cmi
> > -rw-r--r-- 1 root root   1615 Jan 18  2016 bytearray.mli
> > -rw-r--r-- 1 root root   5218 Jan 18  2016 libparmap_stubs.a
> > -rw-r--r-- 1 root root    219 Jan 18  2016 META
> > -rw-r--r-- 1 root root 117954 Jan 18  2016 parmap.a
> > -rw-r--r-- 1 root root  27116 Jan 18  2016 parmap.cma
> > -rw-r--r-- 1 root root   5814 Jan 18  2016 parmap.cmi
> > -rw-r--r-- 1 root root   1898 Jan 18  2016 parmap.cmxa
> > -rw-r--r-- 1 root root 106712 Jan 18  2016 parmap.cmxs
> > -rw-r--r-- 1 root root  10472 Jan 18  2016 parmap.mli
> > -rw-r--r-- 1 root root    906 Jan 18  2016 parmap_utils.cmi
> > -rw-r--r-- 1 root root    270 Jan 18  2016 parmap_utils.mli
> > -rw-r--r-- 1 root root    363 Jan 18  2016 setcore.cmi
> > -rw-r--r-- 1 root root    207 Jan 18  2016 setcore.mli
> >
> > There are parmap.cmxa and parmap.cmxs files, but no parmap.cmx file.
> >
> > I am stuck here (and clearly ignorant of what I am doing).  Any help
> > would be appreciated.
> >
> > Thank you.
>
> I found compiling it required too many stuff I did not really want on my
> system. So I generally pick up recent version from launchpad:
>
> https://launchpad.net/~npalix/+archive/ubuntu/coccinelle

That's indeed at least better than 1.0.4.

julia
--
To unsubscribe from this list: send the line "unsubscribe backports" in

[Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Julia Lawall]

On Sat, 19 May 2018, Arend van Spriel wrote:

> On 5/16/2018 3:48 PM, Patrick Doyle wrote:
> > TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having
> > installed all the dependencies that seem to make sense, and it fails
> > to compile.
> >
> > I need to use a version of spatch >= 1.0.6 for another project, and
> > the version supplied with Ubuntu is 1.0.4.
> >
> > So I:
> >
> > $ git clone https://github.com/coccinelle/coccinelle.git
> > $ cd coccinelle
> > $ ./autogen
> > $ ./configure --prefix=/home/wpd/local
> > $ make
> >
> > and that fails with
> >
> > ...
> > cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi
> > cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx
> > cp: cannot stat '/usr/lib/ocaml/parmap/parmap.cmx': No such file or
> > directory
> > Makefile:620: recipe for target 'ocaml/parmap.cmi' failed
> > make: [ocaml/parmap.cmi] Error 1 (ignored)
> > rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
> > tools/spgen/source/spgen_lexer.ml
> > parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
> > parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml
> >
> > I have installed libparmap-ocaml-dev:
> >
> > $ apt search libparmap-ocaml-dev
> > Sorting... Done
> > Full Text Search... Done
> > libparmap-ocaml-dev/xenial,now 1.0~rc7-1 amd64 [installed]
> >    small OCaml library allowing to exploit multicore architectures
> >
> > and /usr/lib/ocaml/parmp shows:
> >
> > $ ls -l /usr/lib/ocaml/parmap
> > total 312
> > -rw-r--r-- 1 root root   2379 Jan 18  2016 bytearray.cmi
> > -rw-r--r-- 1 root root   1615 Jan 18  2016 bytearray.mli
> > -rw-r--r-- 1 root root   5218 Jan 18  2016 libparmap_stubs.a
> > -rw-r--r-- 1 root root    219 Jan 18  2016 META
> > -rw-r--r-- 1 root root 117954 Jan 18  2016 parmap.a
> > -rw-r--r-- 1 root root  27116 Jan 18  2016 parmap.cma
> > -rw-r--r-- 1 root root   5814 Jan 18  2016 parmap.cmi
> > -rw-r--r-- 1 root root   1898 Jan 18  2016 parmap.cmxa
> > -rw-r--r-- 1 root root 106712 Jan 18  2016 parmap.cmxs
> > -rw-r--r-- 1 root root  10472 Jan 18  2016 parmap.mli
> > -rw-r--r-- 1 root root    906 Jan 18  2016 parmap_utils.cmi
> > -rw-r--r-- 1 root root    270 Jan 18  2016 parmap_utils.mli
> > -rw-r--r-- 1 root root    363 Jan 18  2016 setcore.cmi
> > -rw-r--r-- 1 root root    207 Jan 18  2016 setcore.mli
> >
> > There are parmap.cmxa and parmap.cmxs files, but no parmap.cmx file.
> >
> > I am stuck here (and clearly ignorant of what I am doing).  Any help
> > would be appreciated.
> >
> > Thank you.
>
> I found compiling it required too many stuff I did not really want on my
> system. So I generally pick up recent version from launchpad:
>
> https://launchpad.net/~npalix/+archive/ubuntu/coccinelle

That's indeed at least better than 1.0.4.

julia

[Cocci] Need help compiling coccinelle on Ubuntu 16.04

[Himanshu Jha]

On Wed, May 16, 2018 at 09:48:19AM -0400, Patrick Doyle wrote:
> TherI just tried compiling coccinelle on a Ubuntu 16.04 system, having
> installed all the dependencies that seem to make sense, and it fails
> to compile.
> 
> I need to use a version of spatch >= 1.0.6 for another project, and
> the version supplied with Ubuntu is 1.0.4.
> 
> So I:
> 
> $ git clone https://github.com/coccinelle/coccinelle.git
> $ cd coccinelle
> $ ./autogen
> $ ./configure --prefix=/home/wpd/local
> $ make
> 
> and that fails with
> 
> ...
> cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi
> cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx
> cp: cannot stat '/usr/lib/ocaml/parmap/parmap.cmx': No such file or directory
> Makefile:620: recipe for target 'ocaml/parmap.cmi' failed
> make: [ocaml/parmap.cmi] Error 1 (ignored)
> rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d
> tools/spgen/source/spgen_lexer.ml
> parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml
> parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml
> 
> I have installed libparmap-ocaml-dev:
> 
> $ apt search libparmap-ocaml-dev
> Sorting... Done
> Full Text Search... Done
> libparmap-ocaml-dev/xenial,now 1.0~rc7-1 amd64 [installed]
>   small OCaml library allowing to exploit multicore architectures
> 
> and /usr/lib/ocaml/parmp shows:
> 
> $ ls -l /usr/lib/ocaml/parmap
> total 312
> -rw-r--r-- 1 root root   2379 Jan 18  2016 bytearray.cmi
> -rw-r--r-- 1 root root   1615 Jan 18  2016 bytearray.mli
> -rw-r--r-- 1 root root   5218 Jan 18  2016 libparmap_stubs.a
> -rw-r--r-- 1 root root    219 Jan 18  2016 META
> -rw-r--r-- 1 root root 117954 Jan 18  2016 parmap.a
> -rw-r--r-- 1 root root  27116 Jan 18  2016 parmap.cma
> -rw-r--r-- 1 root root   5814 Jan 18  2016 parmap.cmi
> -rw-r--r-- 1 root root   1898 Jan 18  2016 parmap.cmxa
> -rw-r--r-- 1 root root 106712 Jan 18  2016 parmap.cmxs
> -rw-r--r-- 1 root root  10472 Jan 18  2016 parmap.mli
> -rw-r--r-- 1 root root    906 Jan 18  2016 parmap_utils.cmi
> -rw-r--r-- 1 root root    270 Jan 18  2016 parmap_utils.mli
> -rw-r--r-- 1 root root    363 Jan 18  2016 setcore.cmi
> -rw-r--r-- 1 root root    207 Jan 18  2016 setcore.mli

I had a similar issue previously due paramap dependency.
https://pastebin.com/teDP8R18

So, what I would suggest is first purge the Ubuntu supplied Coccinelle.
And then install all the packages as suggested in install.txt

-----------------------------------------------------------------------
himanshu at himanshu-Vostro-3559:~/coccinelle$ sudo apt-get install
pkg-config ocaml-native-compilers ocaml-findlib menhir and
libmenhir-ocaml-dev libpcre-ocaml-dev
[sudo] password for himanshu: 
Reading package lists... Done
Building dependency tree       
Reading state information... Done
pkg-config is already the newest version (0.29.1-0ubuntu1).
and is already the newest version (1.2.2-4.1).
libmenhir-ocaml-dev is already the newest version (20151112.dfsg-1).
libpcre-ocaml-dev is already the newest version (7.0.4-2build1).
menhir is already the newest version (20151112.dfsg-1).
ocaml-findlib is already the newest version (1.5.5-2build1).
ocaml-native-compilers is already the newest version (4.02.3-5ubuntu2).
The following packages were automatically installed and are no longer
required:
  libparmap-ocaml libpycaml-ocaml
  Use 'sudo apt autoremove' to remove them.

------------------------------------------------------------------------

This above is the result what I had got on my system when I had the issue.
Most important is that you *must* remove these packages "libparmap-ocaml
libpycaml-ocaml" as they are not required and were installed when you
installed the old Coccinelle version from Ubuntu.

After removing these packages, do 'make distclean' and then
./autogen 
...

as suggested in the instructions.

I also use Ubuntu 16.04.4 LTS and now Coccinelle works fine!

Hope this helps.

-- 
Himanshu Jha
Undergraduate Student
Department of Electronics & Communication
Guru Tegh Bahadur Institute of Technology