From mboxrd@z Thu Jan 1 00:00:00 1970 Return-path: Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:51600 "EHLO mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750743AbeESGr2 (ORCPT ); Sat, 19 May 2018 02:47:28 -0400 Date: Sat, 19 May 2018 08:47:26 +0200 (CEST) From: Julia Lawall To: Arend van Spriel cc: Patrick Doyle , backports@vger.kernel.org, cocci@systeme.lip6.fr Subject: Re: [Cocci] Need help compiling coccinelle on Ubuntu 16.04 In-Reply-To: <5AFFC6FC.1070906@broadcom.com> Message-ID: (sfid-20180519_084729_946901_73924BAA) References: <5AFFC6FC.1070906@broadcom.com> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Sender: backports-owner@vger.kernel.org List-ID: 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 From mboxrd@z Thu Jan 1 00:00:00 1970 From: julia.lawall@lip6.fr (Julia Lawall) Date: Sat, 19 May 2018 08:47:26 +0200 (CEST) Subject: [Cocci] Need help compiling coccinelle on Ubuntu 16.04 In-Reply-To: <5AFFC6FC.1070906@broadcom.com> References: <5AFFC6FC.1070906@broadcom.com> Message-ID: To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr 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