Hello, Am 10.01.2011 um 18:52 schrieb Christian PERRIER: > Would the (untested) patch be the right solution? I have few > experience with this so I may be entirely wrong. The suggested patch unfortunately seems not to work for me. The binaries are being stripped nonetheless. I suppose it is "too late" to set DEB_BUILD_OPTIONS at that place. Using override_dh_strip instead (see attached patch) did the trick. Additionally, I suggest to decide whether to strip or not depending on the WAY variable, which indicates whether the native (opt) or bytecode (out) compiler is used, rather than on the host architecture. This is already done in the attached patch. Greetings, Hans-Jakob Holtz
Attachment:
geneweb_dont_strip_ocaml_bytecode_executables.diff
Description: Binary data