Re: [CIL users] installation problem

Hi Everyone, I tried installing this on mac os and I get the same error. Any help will be greatly appreciated. Regards, Divya On Aug 23, 2010, at 8:18 PM, George Baah wrote: > Hi Everyone, > I am trying to install CIL on my linux (2.6.22-14-generic > ) machine with ocaml version 3.12. But it

[CIL users] Linking cilly with xml-light

Hi, I am trying to link cilly with the xml-light library, so I tried to add it to the Makefile (CILLY_LIBS = unix str xml-light) but I keep getting this error Linking bytecode obj/x86_LINUX/cilly.byte.exe + gcc -Wl,-E -o 'obj/x86_LINUX/cilly.byte.exe' -I'/usr/lib/ocaml/3.10.0' -g /tmp/camlprim5b4

[CIL users] Error During Merging

Hi, I used the --merge option with cilly and I get this errror ../libmisc/libmisc.a: could not read symbols: Archive has no index; run ranlib to add one Could someone enlighten me about this. Thank you, Divya -- The Pal

[CIL users] Parse error

Hi, I am trying perform some anaysis on openssh, but when I run cil on the source, I get a parse error from Frontc.parse. How do I find out what is causing this error? Thanks, Divya -- Download Intel® Parallel Studio Eval

Re: [CIL users] Strange behavior with Frontc.parse

Hi, On Thu, Oct 29, 2009 at 3:20 AM, Gabriel Kerneis wrote: > Hi, > > On Wed, Oct 28, 2009 at 03:43:54PM -0400, Divya Muthukumaran wrote: > > I am encountering a strange behavior with Frontc.parse. I have an Ocaml > > program to analyze some C code that uses CIL as a li

[CIL users] Strange behavior with Frontc.parse

Hi, I am encountering a strange behavior with Frontc.parse. I have an Ocaml program to analyze some C code that uses CIL as a library. The very first thing I do in the program is to call Frontc.parse on the .i file. But for some reason this fails (basically just reaches Frontc.parse and then nothi