[Caml-list] ocamlfind question on cygwin

2009-05-06 Thread Alan Schmitt
Hello, I'm trying to debug some installation issue on godi/mingw, and it seems to be a problem with ocamlfind using a cygwin console. When I try: $ ocamlfind install lwt -destdir /home/Administrateur/godi/lib/ocaml/ pkg-lib META ocamlfind: Bad configuration: Cannot mkdir

Re: [Caml-list] ocamlfind question on cygwin

2009-05-06 Thread Dmitry Bely
On Wed, May 6, 2009 at 7:57 PM, Alan Schmitt alan.schm...@polytechnique.org wrote: Hello, I'm trying to debug some installation issue on godi/mingw, and it seems to be a problem with ocamlfind using a cygwin console. When I try: $ ocamlfind install lwt -destdir

Re: [Caml-list] Custom blocks and finalization

2009-05-06 Thread Dr. Thomas Fischbacher
Markus Mottl wrote: Yes, if your C-finalizer e.g. needs to remove global roots, this may not be sound. I am not totally sure this is actually true in the current implementation, but at least the documentation clearly indicates that any interaction with the OCaml-runtime from within

Re: [Caml-list] Custom blocks and finalization

2009-05-06 Thread Markus Mottl
On Wed, May 6, 2009 at 12:30, Dr. Thomas Fischbacher t.fischbac...@soton.ac.uk I take it you are referring to this part of the documentation (18.9.1 bottom): === [snip] Yes. Do not use CAMLparam to register the parameters to these functions, and do not use CAMLreturn to return the

Re: [Caml-list] Custom blocks and finalization

2009-05-06 Thread Dr. Thomas Fischbacher
Markus, Neither of the above will ever trigger a garbage collection, but they are still prohibited. So, I ask: Why? Unregistering a global root evidently does not trigger a GC, and starting a GC from within a C-registered custom hasher/finalizer/comparer/serializer/etc is the one specific

Re: [Caml-list] ocamlfind question on cygwin

2009-05-06 Thread Gerd Stolpmann
Am Mittwoch, den 06.05.2009, 19:23 +0200 schrieb Alan Schmitt: On 6 mai 09, at 18:11, Dmitry Bely wrote: On Wed, May 6, 2009 at 7:57 PM, Alan Schmitt alan.schm...@polytechnique.org wrote: Hello, I'm trying to debug some installation issue on godi/mingw, and it seems to be a