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 <[email protected]> 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 <[email protected]> > > >> > > 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 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
