Fwd: [Caml-list] ocamlopt -g

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

This is a really useful fix for us... Mirage can be compiled with and without
-g, but it's useful to have debug symbols around to profile hotspots 
(especially in
the lower-level drivers).

Begin forwarded message:

> From: Josh Berdine <jberdine@xxxxxxx>
> Subject: Re: [Caml-list] ocamlopt -g
> Date: 7 March 2012 00:54:14 GMT
> To: Martin Jambon <martin.jambon@xxxxxxxxxxxx>
> Cc: OCaml Mailing List <caml-list@xxxxxxxx>
> 
> In some cases ocamlopt -g disabled some optimizations.  This now seems to be 
> fixed in 3.13, see http://caml.inria.fr/mantis/view.php?id=5426 .
> 
> Cheers,  Josh
> 
> 
>> Dear all,
>> 
>> Is there is any disadvantage of using -g with ocamlopt?
>> 
>> A number of libraries are not compiled with -g and this prevents us from
>> getting a complete stack backtrace when they raise an exception. Are
>> there technical reasons for that, other than "this is an old library and
>> we haven't touched the Makefile since ocamlopt offers -g"?
>> 
>> 
>> Martin
> 
> 
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>