Bug#256900: Ocaml compiled programs cannot be stripped

[Eric Cooper <ecc@cmu.edu>]

On Mon, Aug 18, 2008 at 05:46:50PM +0200, Xavier Leroy wrote:
> First, the bug summary is incorrect: it's not all ocaml-generated
> executables that cannot be stripped, but only those generated by the
> now-obsolete "ocamlc -custom" option.  The latter builds a mixed
> bytecode/native C executable, but this approach has been deprecated in
> favor of putting the C stub code in shared libraries which are then
> loaded by the pure bytecode executable.
> [...]
> 1- "ocamlc -custom" is deprecated and packages that use it should be fixed.

I'm guilty of using the deprecated approach for a package that uses C
stubs but can't be compiled natively on some architectures.  On the
ones with ocamlopt, the C stubs are statically linked into the
executable, so there are no additional package dependencies on shared
libs.  On the bytecode-only architectures, the shared libraries caused
additional installation dependencies that weren't determined
automatically.  But maybe this can be addressed by smarter build tools
in Debian.

-- 
Eric Cooper             e c c @ c m u . e d u