From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Compiling Coccinelle with specific OCaml versions on openSUSE
Date: Wed, 14 Oct 2015 12:32:21 +0200 [thread overview]
Message-ID: <561E2F35.2080803@users.sourceforge.net> (raw)
In-Reply-To: <CAB=NE6XEE0zMpt7HBfEmxg1fDk4AqgfJ9F5oa_h0uMe4tCuzVQ@mail.gmail.com>
> Error: The files /usr/lib64/ocaml/obj.cmi
> and /usr/lib64/ocaml/menhirLib/menhirLib.cmi
> make inconsistent assumptions over interface Obj
> Makefile:90: recipe for target 'parser_cocci_menhir.cmx' failed
I stumbled on the following message since I installed
the package "OCaml 4.02.3-1.1" also on my openSUSE system.
Error: Files type_cocci.cmx and menhirLib.cmx
make inconsistent assumptions over implementation Printf
Makefile:89: die Regel f?r Ziel ?cocci_parser.cmxa? scheiterte
How do you think about to circumvent this software dependency hiccup
by the OPAM interface for a while?
https://opam.ocaml.org/packages/coccinelle/coccinelle.1.0.2/
Regards,
Markus
next prev parent reply other threads:[~2015-10-14 10:32 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-13 20:19 [Cocci] Compiling latest coccinelle with opensuse Luis R. Rodriguez
2015-10-13 20:26 ` Julia Lawall
2015-10-13 20:37 ` Luis R. Rodriguez
2015-10-13 20:44 ` Julia Lawall
2015-10-13 20:49 ` Luis R. Rodriguez
2015-10-13 20:58 ` Julia Lawall
2015-10-13 21:14 ` Luis R. Rodriguez
2015-10-13 21:18 ` Julia Lawall
2015-10-13 22:05 ` Luis R. Rodriguez
2015-10-14 5:26 ` Julia Lawall
2015-10-14 7:11 ` Sébastien Hinderer
2015-10-14 7:59 ` Julia Lawall
2015-10-14 8:53 ` Sébastien Hinderer
2015-10-14 20:59 ` Luis R. Rodriguez
2015-10-14 21:04 ` Julia Lawall
2015-10-14 21:23 ` [Cocci] Common.union_setError (was: Compiling latest coccinelle with opensuse) Luis R. Rodriguez
2015-10-14 21:32 ` Julia Lawall
2015-10-14 21:39 ` Luis R. Rodriguez
2015-10-14 21:47 ` Julia Lawall
2015-10-14 21:53 ` Sébastien Hinderer
2015-10-14 21:44 ` [Cocci] Compiling latest coccinelle with opensuse Sébastien Hinderer
2015-10-14 21:48 ` Julia Lawall
2015-10-14 21:58 ` Sébastien Hinderer
2015-10-14 10:54 ` [Cocci] Compiling latest Coccinelle with openSUSE SF Markus Elfring
2015-10-14 14:47 ` [Cocci] Compiling latest coccinelle with opensuse Sébastien Hinderer
2015-10-14 15:22 ` [Cocci] Compiling latest Coccinelle with openSUSE SF Markus Elfring
2015-10-14 10:32 ` SF Markus Elfring [this message]
2015-10-14 14:44 ` [Cocci] Compiling Coccinelle with specific OCaml versions on openSUSE Sébastien Hinderer
2015-10-14 14:49 ` Julia Lawall
2015-10-14 14:57 ` Sébastien Hinderer
2015-10-14 15:43 ` SF Markus Elfring
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=561E2F35.2080803@users.sourceforge.net \
--to=elfring@users.sourceforge.net \
--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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox