[Cocci] stripping renders spatch unusable [was: Starter issues
julia at diku.dk
Thu Mar 25 14:15:19 CET 2010
> The openSUSE RPM is generally installed in the system.
Is the openSUSE RPM stripped? If so, we should contact the maintainer,
because it is simply not possible to strip ocaml binaries that are built
with the -custom option.
> I also manually
> recompiled spatch from coccinelle-0.2.2 sources, moved the spatch binary
> to the "x" directory (see above) to make sure it does not rely on any
> paths other than /usr/share/coccinelle (from the rpm, also 0.2.2), then
> went to strip it.
More information about the Cocci