Re: debian ocaml packaging policy :: findlib->site-lib

2008-12-30 Thread Stefano Zacchiroli
On Tue, Dec 30, 2008 at 08:20:48PM +, Sylvain Le Gall wrote: > Full ACK with Stephane. The link is just a compatibility hack, writing > it into policy is another hack. You cannot possibly believe that documenting into the policy the findlib site-lib location is a hack. Why then writing the OCa

Re: debian ocaml packaging policy :: findlib->site-lib

2008-12-30 Thread Sylvain Le Gall
On 30-12-2008, Stéphane Glondu wrote: > Stefano Zacchiroli a écrit : >> Proposal ahead. What if we provide a symbolic link as follows: >> >> `ocamlc -where`/site-lib -> `ocamlc -where` >> >> ? > > I am not so fond of this. IMHO, Makefiles should be made in such a way > that changing the location

Processed: tagging 498713

2008-12-30 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.35lenny1 > tags 498713 + pending Bug#498713: No why-related *.vo files in coq/user-contrib There were no tags set. Tags added: pending > End of message, stopping processing here.

Re: debian ocaml packaging policy :: findlib->site-lib

2008-12-30 Thread Stéphane Glondu
Stefano Zacchiroli a écrit : > Proposal ahead. What if we provide a symbolic link as follows: > > `ocamlc -where`/site-lib -> `ocamlc -where` > > ? I am not so fond of this. IMHO, Makefiles should be made in such a way that changing the location of an installed library is easy (for example, by u

Re: Bug#509803: Fails to properly free memory on exit

2008-12-30 Thread Romain Beauxis
Le Sunday 28 December 2008 14:09:18 Goswin von Brederlow, vous avez écrit : > > - need to change OCaml to make _finalizer mandatory at the end of the > >   process. > > Seems like a pretty trivial change. A simple "at_exit GC.full_major" > does the trick unless a global variable is used already. Ru

Bug#509803: Fails to properly free memory on exit

2008-12-30 Thread Stéphane Glondu
Stefano Zacchiroli a écrit : >>> Please forward this upstream so ocaml can be made to call the >>> finalizers at exit. >> Why don't you submit this bug to upstream yourself? > > This is not such a nice answer, don't you think? :) Sorry, I didn't mean to offend/criticize. But it seemed weird to me

Bug#509803: Fails to properly free memory on exit

2008-12-30 Thread Stefano Zacchiroli
On Sat, Dec 27, 2008 at 10:13:33AM +0100, Stéphane Glondu wrote: > Goswin Brederlow a écrit : >> Package: ocaml >> Version: 3.10.2-3 >> Severity: normal >> [...] >> Please forward this upstream so ocaml can be made to call the >> finalizers at exit. > > Why don't you submit this bug to upstream you

Re: debian ocaml packaging policy :: findlib->site-lib

2008-12-30 Thread Stefano Zacchiroli
On Mon, Dec 29, 2008 at 10:59:50PM +0100, Florent Monnier wrote: > You are misunderstanding what I am talking about. > The issue is not to know what `ocamlc -where` is bound to, > first I don't need to know that at all, all I need is to know is that it is > `ocamlc -where` and nothing more, > seco