[Caml-list] Compiling ocaml on cygwin - undefined reference errors

2009-05-08 Thread Alexander Mont
I am trying to compile Ocaml 3.11 on Cygwin. However I get the following error when I run "make world": --- (snip a whole bunch more undefined references) /tmp/ccoBzdkK.o:interp.c:(.text+0x1dcf): undefined reference to `_caml_debugger' /tmp/ccoBzdkK.o:interp.c:(.text+0x1dda): undefined refe

Re: [Caml-list] Custom blocks and finalization

2009-05-08 Thread Markus Mottl
On Fri, May 8, 2009 at 05:36, Xavier Leroy wrote: > I foresee absolutely no problems with registering/unregistering global > roots from a C finalizer.  As the manual states, the big no-no in > C functions attached to custom blocks is allocating in the heap, > either directly or via a callback into

[Caml-list] ocamlbuild plugin linking phase

2009-05-08 Thread Daniel Bünzli
Is there a way to add options to the plugin linking phase (I'd like to link my plugin with Str) ? Thanks, Daniel ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inri

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-08 Thread Xavier Leroy
Dmitry Bely wrote: > I see. Why I asked this: trying to improve floating-point performance > on 32-bit x86 platform I have merged floating-point SSE2 code > generator from amd64 ocamlopt back end to i386 one, making ia32sse2 > architecture. It also inlines sqrt() via -ffast-math flag and slightly

Re: [Caml-list] Custom blocks and finalization

2009-05-08 Thread Xavier Leroy
Markus Mottl wrote: >> Let's have a look at byterun/globroots.c: > [snip] >> So... how could caml_remove_global_root() actually trigger a heap GC? > > It certainly doesn't, but it obviously manipulates runtime > datastructures which may not necessarily be in a state during > finalization where th

Re: [Caml-list] Symbolic integration

2009-05-08 Thread Jon Harrop
On Friday 08 May 2009 09:13:12 Grünewald Michaël wrote: > Le 7 mai 09 à 07:21, Jon Harrop a écrit : > > I'd like to have a play with symbolic integration and was wondering > > if anyone > > had implemented one of the algorithms in OCaml? > > IIRC, I have seen such a thing as an «OCaml Math. Framewo

Re: [Caml-list] Symbolic integration

2009-05-08 Thread Jon Harrop
On Friday 08 May 2009 09:13:12 Grünewald Michaël wrote: > Le 7 mai 09 à 07:21, Jon Harrop a écrit : > > I'd like to have a play with symbolic integration and was wondering > > if anyone > > had implemented one of the algorithms in OCaml? > > IIRC, I have seen such a thing as an «OCaml Math. Framewo

Re: [Caml-list] Symbolic integration

2009-05-08 Thread Grünewald Michaël
Le 7 mai 09 à 07:21, Jon Harrop a écrit : I'd like to have a play with symbolic integration and was wondering if anyone had implemented one of the algorithms in OCaml? IIRC, I have seen such a thing as an «OCaml Math. Framework» in Jane Street's OCaml related project (in the 2006 or the 2