On Thu, 25 Mar 2010, Jan Engelhardt wrote: > On Thursday 2010-03-25 14:15, Julia Lawall wrote: > > >> The openSUSE RPM is generally installed in the system. > > > >Is the openSUSE RPM stripped? > > Currently yes because strip is the default. > > >If so, we should contact the maintainer, > > That would be me. > And that's why I wondered why it won't work :) > > >because it is simply not possible to strip ocaml binaries that are built > >with the -custom option. > > What does -custom do? Can it be dropped? >
I think it is for static linking, but I'm not sure. Perhaps someone else on the list knows... julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
