Dear Jonathan, On Sat, Jan 08, 2011 at 09:19:59AM -0800, Jonathan Kotker wrote: > Thanks for the advice. It seems like the Ocaml interpreter installed on my > system was using "flexdll" instead of gcc to do the linking, and "flexdll" > did not understand the "-g" flag. Based on advice provided here ( > http://caml.inria.fr/mantis/view.php?id=4645), the option was supposed to be > "-link -g" and not just -g; "-link -g" sends the command "-g" to gcc.
I just committed an attempt to fix this issue. Since I do not have Windows, I cannot test it. Could you please: - revert your patch to ocamlutil, - make clean, - upgrade cil AND ocamlutil to latest SVN (r12118 at least), - run ./configure and make. Let me know if this works. Thanks in advance, -- Gabriel Kerneis ------------------------------------------------------------------------------ Protect Your Site and Customers from Malware Attacks Learn about various malware tactics and how to avoid them. Understand malware threats, the impact they can have on your business, and how you can protect your company and customers by using code signing. http://p.sf.net/sfu/oracle-sfdevnl _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
