From: julia.lawall@lip6.fr (Julia Lawall)
To: cocci@systeme.lip6.fr
Subject: [Cocci] coccicheck run error
Date: Thu, 16 Mar 2017 06:52:20 +0100 (CET) [thread overview]
Message-ID: <alpine.DEB.2.20.1703160651580.3215@hadrien> (raw)
In-Reply-To: <20170315221442.GA13992@eros>
On Thu, 16 Mar 2017, Tobin C. Harding wrote:
> On Thu, Mar 16, 2017 at 09:10:54AM +1100, Tobin C. Harding wrote:
> > On Wed, Mar 15, 2017 at 12:01:24PM +0100, Julia Lawall wrote:
> > >
> > >
> > > On Wed, 15 Mar 2017, Tobin C. Harding wrote:
> > >
> > > > I am running coccinelle using
> > > >
> > > > $ make coccicheck MODE=report DEBUG_FILE=cocci-err.log M=drivers/staging/ks7010
> > > > Please check for false positives in the output before submitting a patch.
> > > > When using "patch" mode, carefully review the patch before submitting it.
> > > >
> > > > coccicheck failed
> > > >
> > > > $ cat cocci-err.log
> > > > 3 files match
> > > > Fatal error: exception Sys_error("alloc_cast: No such file or directory")
> > > >
> > > > Using V=1 gives no additional indication of the error.
> > > >
> > > > Any suggestions on how to proceed please?
> > >
> > > What version of Coccinelle do you have? If you are not using the github
> > > version, perhaps you could try with that.
> >
> > Am having trouble building from the github repository. I tried
> >
> > $ ./autogen
> > $ ./configure
> > $ make -j9 >/dev/null
> > File "pyml-current/pyml_compat.ml", line 11, characters 20-38:
> > Warning 3: deprecated: Lazy.lazy_from_fun
> > Use Lazy.from_fun instead.
> > File "unparse_c.ml", line 2367, characters 6-18:
> > Warning 3: deprecated: String.unsafe_set
> > make[3]: *** No rule to make target '/usr/lib/ocaml/parmap/parmap.cmxa', needed by 'spatch.opt'. Stop.
> > make[2]: *** [opt-compil] Error 2
> > make[1]: *** [all-release] Error 2
> > make: *** [all] Error 2
> >
> > I tried make all-dev also with the same result.
> >
> > thanks for you patience,
> > Tobin.
>
> Oh, and also FYI
> $sudo apt-get install ocaml ocaml-findlib libpcre-ocaml-dev pkg-config libpcre-ocaml-dev
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> pkg-config is already the newest version (0.29.1-0ubuntu1).
> libpcre-ocaml-dev is already the newest version (7.0.4-2build1).
> ocaml is already the newest version (4.02.3-5ubuntu2).
> ocaml-findlib is already the newest version (1.5.5-2build1).
Sorry for the problems. Could you try make distclean?
julia
next prev parent reply other threads:[~2017-03-16 5:52 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-03-15 10:35 [Cocci] coccicheck run error Tobin C. Harding
2017-03-15 11:01 ` Julia Lawall
2017-03-15 22:10 ` Tobin C. Harding
2017-03-15 22:14 ` Tobin C. Harding
2017-03-16 5:52 ` Julia Lawall [this message]
2017-03-16 7:50 ` Tobin C. Harding
2017-03-16 8:44 ` Julia Lawall
2017-03-16 6:12 ` Peter Senna Tschudin
2017-03-16 7:51 ` Tobin C. Harding
2017-03-16 8:16 ` Peter Senna Tschudin
2017-03-16 11:33 ` Tobin C. Harding
2017-03-16 12:27 ` Julia Lawall
2017-03-16 14:51 ` Peter Senna Tschudin
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=alpine.DEB.2.20.1703160651580.3215@hadrien \
--to=julia.lawall@lip6.fr \
--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.