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