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. julia > [0] > http://rpm.pbone.net/index.php3/stat/26/dist/46/size/83289/name/ocaml-pcre-7.1.6-2.d_l_ocaml.3.src.rpm > [1] https://opam.ocaml.org/packages/pcre/pcre.7.2.3/ > [2] https://opam.ocaml.org/packages/oasis/oasis.0.4.6/ > > Luis > _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
