Bug#256900: Ocaml compiled programs cannot be stripped

2008-09-07 Thread Sylvain Le Gall
On Sun, Sep 07, 2008 at 11:17:51AM +0200, Stefano Zacchiroli wrote: > On Wed, Aug 20, 2008 at 01:51:20PM +0200, Sylvain Le Gall wrote: > > The solution we discussed was to find a test that can tell us what > > binaries are "ocamlc -custom" executable. If we can find them, we can > > warn packager t

Bug#256900: Ocaml compiled programs cannot be stripped

2008-09-07 Thread Stefano Zacchiroli
On Wed, Aug 20, 2008 at 01:51:20PM +0200, Sylvain Le Gall wrote: > The solution we discussed was to find a test that can tell us what > binaries are "ocamlc -custom" executable. If we can find them, we can > warn packager that it should be rebuild without the deprecated option. > To detect these fi

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Romain Beauxis
Le Thursday 21 August 2008 04:00:40 Romain Beauxis, vous avez écrit : > correct > me if I am wrong: > * When linking against an ocaml module, the .cmo file is needed. This is > clearly not the case in a majority of ocaml packages, if not all of them. > * When using the .cma file, compilation is mad

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Romain Beauxis
Le Monday 18 August 2008 17:46:50 Xavier Leroy, vous avez écrit : > 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 executa

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Romain Beauxis
Le Wednesday 20 August 2008 17:54:41 Romain Beauxis, vous avez écrit : > > (The last digit of the magic number changed during the life of OCaml, > > but it's been "8" since June 2004, and I don't expect it to change any > > time soon.  If you want to play it safe, recognize the regexp > > "Caml1999

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Romain Beauxis
Le Wednesday 20 August 2008 17:10:06 Xavier Leroy, vous avez écrit : > Hello Sylvain, > > > The solution we discussed was to find a test that can tell us what > > binaries are "ocamlc -custom" executable. If we can find them, we can > > warn packager that it should be rebuild without the deprecated

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Sven Luther
On Wed, Aug 20, 2008 at 05:19:17PM +0200, Xavier Leroy wrote: > > Hello Sven, > > >>> 1- "ocamlc -custom" is deprecated and packages that use it should be > >>> fixed. > >>> > >> If this option is deprecated, i think we should handle it so for all > >> debian package. See at the end of the mail

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Xavier Leroy
Hello Sven, >>> 1- "ocamlc -custom" is deprecated and packages that use it should be fixed. >>> >> If this option is deprecated, i think we should handle it so for all >> debian package. See at the end of the mail for a proposed way of doing >> thing. > > One question though which comes to mind w

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Xavier Leroy
Hello Sylvain, > The solution we discussed was to find a test that can tell us what > binaries are "ocamlc -custom" executable. If we can find them, we can > warn packager that it should be rebuild without the deprecated option. > To detect these files we must have a very simple script, lets call

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Sven Luther
On Wed, Aug 20, 2008 at 01:51:20PM +0200, Sylvain Le Gall wrote: > > Hello, > > On Mon, Aug 18, 2008 at 05:46:50PM +0200, Xavier Leroy wrote: > > > First, a few reminders: > > > > > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900 > > > http://caml.inria.fr/pub/ml-archives/caml-list/200

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-20 Thread Sylvain Le Gall
Hello, On Mon, Aug 18, 2008 at 05:46:50PM +0200, Xavier Leroy wrote: > > First, a few reminders: > > > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900 > > http://caml.inria.fr/pub/ml-archives/caml-list/2004/07/181268104b59b10ed1624cb92ed996c4.fr.html > > > > Is there any news on this i

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-19 Thread Richard Jones
On Mon, Aug 18, 2008 at 05:46:50PM +0200, Xavier Leroy wrote: > 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.

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-18 Thread Eric Cooper
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,

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-18 Thread Xavier Leroy
> First, a few reminders: > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900 > http://caml.inria.fr/pub/ml-archives/caml-list/2004/07/181268104b59b10ed1624cb92ed996c4.fr.html > > Is there any news on this issue? It seems it is still on topic in OCaml > 3.10.2... First, the bug summary i

Bug#256900: Ocaml compiled programs cannot be stripped

2008-08-17 Thread Stéphane Glondu
Hello, First, a few reminders: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900 http://caml.inria.fr/pub/ml-archives/caml-list/2004/07/181268104b59b10ed1624cb92ed996c4.fr.html Is there any news on this issue? It seems it is still on topic in OCaml 3.10.2... Xavier Leroy wrote: > Rather t