* [Caml-list] ocamlopt -g
@ 2012-03-07 0:06 Martin Jambon
2012-03-07 0:54 ` Josh Berdine
0 siblings, 1 reply; 2+ messages in thread
From: Martin Jambon @ 2012-03-07 0:06 UTC (permalink / raw)
To: OCaml Mailing List
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] ocamlopt -g
2012-03-07 0:06 [Caml-list] ocamlopt -g Martin Jambon
@ 2012-03-07 0:54 ` Josh Berdine
0 siblings, 0 replies; 2+ messages in thread
From: Josh Berdine @ 2012-03-07 0:54 UTC (permalink / raw)
To: Martin Jambon; +Cc: OCaml Mailing List
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-03-07 0:54 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-03-07 0:06 [Caml-list] ocamlopt -g Martin Jambon
2012-03-07 0:54 ` Josh Berdine
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox