[Catching up on old email]
You can use an environment variable for this. Just set OCAMLRUNPARAM='b'
http://caml.inria.fr/pub/docs/manual-ocaml/manual024.html#toc88
Cheers,
Matt
On Sun, Feb 22, 2009 at 2:29 PM, John Smith <legit.a...@gmail.com> wrote:
> Hi:
>
> Recently I ran CIL and was getting a fatal exception "Out_of_memory". I
> eventually fixed the problem, but it would have been nice if I had debugging
> support. I read that you can pass options to the OCaml run-time (ocamlrun)
> such as "-b" (which outputs a backtrace when an OCaml program crashes), or
> that you can run the OCaml debugger on an OCaml program. I'm not quite sure
> how to set up CIL to use either of these. Can someone tell me how to do
> either or both? It would be really helpful the next my CIL analysis causes
> another error :)
>
> Cheers,
> legit
>
>
> ------------------------------------------------------------------------------
> Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco,
> CA
> -OSBC tackles the biggest issue in open source: Open Sourcing the
> Enterprise
> -Strategies to boost innovation and cut costs with open source
> participation
> -Receive a $600 discount off the registration fee with the source code:
> SFAD
> http://p.sf.net/sfu/XcvMzF8H
> _______________________________________________
> CIL-users mailing list
> CIL-users@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/cil-users
>
>
------------------------------------------------------------------------------
Apps built with the Adobe(R) Flex(R) framework and Flex Builder(TM) are
powering Web 2.0 with engaging, cross-platform capabilities. Quickly and
easily build your RIAs with Flex Builder, the Eclipse(TM)based development
software that enables intelligent coding and step-through debugging.
Download the free 60 day trial. http://p.sf.net/sfu/www-adobe-com
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
