Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-18 Thread Xavier Leroy
2- If this isn't practical, it's not a big deal that a couple of executables cannot be stripped. Other packagers (e.g. RedHat and Mandriva) have had no problems in the past turning stripping off on a case-by-case basis. 3- For these reasons, I won't merge Stéphane's

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Xavier Leroy
mple script, lets call it > "ocaml-custom-detect". The best option is that this script will be > written using "sh" or "perl" (maybe having an ocaml executable is > also be ok, we must see what is the easiest way). > > At OCaml Meeting, Xavier Le

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Xavier Leroy
ml projects that started before 2001 still force -custom when linking with standard libraries like unix.cma or str.cma, while this is now entirely unnecessary. Hope this addresses your concerns. Best regards, - Xavier Leroy -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#794222: on ppc64le, profiling with gcc -pg does not work, suspected bug in __gmon_start__

2015-07-31 Thread Xavier Leroy
Package: libc6 Version: 2.19-18 Severity: normal Tags: upstream Dear Maintainer, On a ppc64le host, programs compiled with -pg fail to record profiling information at run-time. At start-up time, the compiled program prints monstartup: out of memory and does not produce a gmon.out file. A comp

Bug#334284: libzip-ocaml-dev: Lack of Documentation

2007-01-21 Thread Xavier Leroy
it from my software page: http://gallium.inria.fr/~xleroy/software.html Regards, - Xavier Leroy -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]