[Cocci] Need help compiling coccinelle on Ubuntu 16.04

Julia Lawall julia.lawall at lip6.fr
Sat May 19 08:47:26 CEST 2018



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


More information about the Cocci mailing list