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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


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
$ 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/ parsing_cocci/
parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/
parsing_cocci/ parsing_c/

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:


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

[Index of Archives]     [Linux ARM Kernel]     [Linux ARM]     [Linux Omap]     [Fedora ARM]     [IETF Annouce]     [Security]     [Bugtraq]     [Linux]     [Linux OMAP]     [Linux MIPS]     [ECOS]     [Asterisk Internet PBX]     [Linux API]

  Powered by Linux