Hi, On Wed, Mar 25, 2009 at 01:50:58PM -0700, Benjamin Ylvisaker wrote: > 1) In CIL itself, spawn another thread that monitors CPU time > consumption and sleeps most of the time. When the time limit is > reached, print out a message and kill the whole process. After some > light documentation reading, it looks like this would require some > changes to the makefiles to include support for O'Caml threads.
You could use ocamlbuild instead, which would automate the dependency finding. It is broken in the current svn, but I submited a patch in the bug tracker and can help you if you have trouble using it. Regards, -- Gabriel Kerneis ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
