From: mcgrof@suse.com (Luis R. Rodriguez)
To: cocci@systeme.lip6.fr
Subject: [Cocci] github update
Date: Mon, 23 May 2016 23:49:31 +0200 [thread overview]
Message-ID: <20160523214931.GA11948@wotan.suse.de> (raw)
In-Reply-To: <alpine.DEB.2.02.1605232343420.2052@localhost6.localdomain6>
On Mon, May 23, 2016 at 11:44:10PM +0200, Julia Lawall wrote:
>
>
> On Mon, 23 May 2016, Luis R. Rodriguez wrote:
>
> > On Mon, May 23, 2016 at 2:37 PM, Julia Lawall <julia.lawall@lip6.fr> wrote:
> > >
> > >
> > > On Mon, 23 May 2016, Luis R. Rodriguez wrote:
> > >
> > >> On Mon, May 23, 2016 at 10:49:43PM +0200, Julia Lawall wrote:
> > >> >
> > >> >
> > >> > On Mon, 23 May 2016, Luis R. Rodriguez wrote:
> > >> >
> > >> > > On Mon, May 23, 2016 at 1:31 PM, Julia Lawall <julia.lawall@lip6.fr> wrote:
> > >> > > > Could you see if OpenSuse has libpcre-ocaml-dev, and if so install it?
> > >> > >
> > >> > > It doesn't, and nothing quite like it either.
> > >> >
> > >> > Oops :(
> > >> >
> > >> > I found this:
> > >> >
> > >> > http://rpm.pbone.net/index.php3/stat/4/idpl/33152402/dir/opensuse/com/ocaml-pcre-7.1.6-2.d_l_ocaml.3.x86_64.rpm.html
> > >>
> > >> Thanks, that doesn't work on the latest opensuse, I modified the spec
> > >> file from the SRPM [0] to use the latest release, which seems to be 7.2.3 [1]
> > >> and installed ocaml-rpm-macros and ocaml-findlib-devel to be able to build
> > >> it but it seems that requires an 'ocaml-oasis' [2], downloaded that, tried
> > >> to configure and that seems to require ocamlmod, ocamlify, and some 'odn'
> > >> thing... I give up. Are all these new dependencies really needed ?
> > >
> > > Ideally you can configure Coccinelle not to use pcre. You could try
> > > --disable-pcre. But at one point, that flag was not working, and I
> > > checked with Sebastien who said that he didn't get a chace to fix it, so
> > > I'm not optimistic. But maybe it is at least worth trying.
> > >
> > > Also, I'm not sure that what I found is going to help, because I see that
> > > the configure contains:
> > >
> > > pcre library: $HAVE_PCRE (requires the dev version of libpcre)
> > >
> > > And the one I suggested is not the dev version.
> >
> > Thanks, I tried --disable-pcre on both github repo and the gforge
> > tree and compilation still fails on the pcre error as noted earlier.
> > I'll have to live with testing only the latest coccinelle on debian.
> > That works great.
>
> OK, thanks. It looks like the relese notes for Coccinelle will have to
> discourage the use of 4.03...
FWIW I was on ocaml-4.02 though. I'm now upgrading my system.
Luis
next prev parent reply other threads:[~2016-05-23 21:49 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-22 19:17 [Cocci] github update Julia Lawall
2016-05-23 16:37 ` Luis R. Rodriguez
2016-05-23 16:39 ` Julia Lawall
2016-05-23 20:31 ` Julia Lawall
2016-05-23 20:37 ` Luis R. Rodriguez
2016-05-23 20:49 ` Julia Lawall
2016-05-23 21:19 ` Luis R. Rodriguez
2016-05-23 21:25 ` Olaf Hering
2016-05-23 21:37 ` Julia Lawall
2016-05-23 21:37 ` Julia Lawall
2016-05-23 21:41 ` Luis R. Rodriguez
2016-05-23 21:44 ` Julia Lawall
2016-05-23 21:49 ` Luis R. Rodriguez [this message]
2016-05-24 13:32 ` Olaf Hering
2016-05-24 20:00 ` [Cocci] Improvements for building the Coccinelle software SF Markus Elfring
2016-05-24 20:08 ` Olaf Hering
2016-05-24 20:17 ` SF Markus Elfring
2016-05-24 20:59 ` Olaf Hering
2016-05-25 7:18 ` SF Markus Elfring
2016-05-25 7:45 ` Olaf Hering
2016-05-25 7:54 ` SF Markus Elfring
2016-05-25 8:02 ` Olaf Hering
2016-05-25 8:15 ` SF Markus Elfring
2016-05-24 20:23 ` Julia Lawall
2016-05-24 21:02 ` Olaf Hering
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=20160523214931.GA11948@wotan.suse.de \
--to=mcgrof@suse.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.