On Mon, 13 Jul 2015, SF Markus Elfring wrote:
> > I would do a diff with my configuration and see if there is anything > > different with respect to ocaml. > > The software "OCaml 4.02.1-1.2" was provided by a RPM package > from my Linux distribution. > https://build.opensuse.org/package/show?project=openSUSE%3AFactory&package=ocaml > > > Your tool "spatch 1.0.1" was built on my own here. > > Where do you imagine to find interesting differences? I asked about the output of the configure program. The software can be fine, but it will not do the right thing if it is configured properly. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
