All of lore.kernel.org
 help / color / mirror / Atom feed
From: wpdster@gmail.com (Patrick Doyle)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Need help compiling coccinelle on Ubuntu 16.04
Date: Wed, 16 May 2018 09:48:19 -0400	[thread overview]
Message-ID: <CAF_dkJCyP-2Yc-fynAGWp5D7YZP5ybaLXrYK4EHc_Z7XSP9kiA@mail.gmail.com> (raw)

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

             reply	other threads:[~2018-05-16 13:48 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-05-16 13:48 Patrick Doyle [this message]
2018-05-19  5:36 ` [Cocci] Need help compiling coccinelle on Ubuntu 16.04 Julia Lawall
     [not found]   ` <CAF_dkJB=v5dyjJwC5HFHfubP0NRhPPQCWkY6QbnF0OSB8LiBJw@mail.gmail.com>
2018-05-19 15:57     ` Julia Lawall
2018-05-19  6:41 ` Arend van Spriel
2018-05-19  6:41   ` Arend van Spriel
2018-05-19  6:47   ` Julia Lawall
2018-05-19  6:47     ` Julia Lawall
2018-05-19  8:27 ` Himanshu Jha

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAF_dkJCyP-2Yc-fynAGWp5D7YZP5ybaLXrYK4EHc_Z7XSP9kiA@mail.gmail.com \
    --to=wpdster@gmail.com \
    --cc=cocci@systeme.lip6.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.