Well, you can't create spot files without a patched version of the compiler, which seems unreasonable to expect.  You could imagine making the configure script discover if you have an ocamlspotter-capable compiler available, but I don't really know oasis well enough to do that myself.<div>
<br></div><div>The -annot flag gives you some help (you can figure out the types of expressions), but not quite as much as ocamlspotter does.  I'm hoping we'll get something ocamlspotter-ish into the compiler proper by 3.13...</div>
<div><br></div><div>y<br><br><div class="gmail_quote">On Sat, Nov 12, 2011 at 12:10 PM, Sean McLaughlin <span dir="ltr"><<a href="mailto:seanmcl@gmail.com">seanmcl@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
The default make setup doesn't build spot files.  Perhaps we can<br>
include the -annot option as a default compiler flag, which doesn't<br>
seem to hurt if you're not using an ocamlspotter version of ocaml, but<br>
makes it possible to jump to function definitions in core from user<br>
programs.<br>
</blockquote></div><br></div>