[Caml-list] ocamlopt -g

Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed

* [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