Re: [CIL users] CIL-OCaml Linux Driver testing - usbkbd.c and usbmouse.c

2015-07-06 Thread Gabriel Kerneis
Le 2015-07-01 16:14, Iyer,Naveen R a écrit : > /home/naveen/linux-3.13.0/arch/x86/include/asm/cpufeature.h[396:7-7] > : syntax error > Parsing errorFatal error: exception Frontc.ParseError("Parse error") > make[1]: *** [drivers/hid/usbhid/hid-core.o] Error 2 > make: *** [_module_drivers/hid/usb

[CIL users] CIL-OCaml Linux Driver testing - usbkbd.c and usbmouse.c

2015-07-01 Thread Iyer,Naveen R
Hi all ! I am trying to use C Intermediate Language (CIL) to test usbkbd.c and usbmouse.c drivers. For normal .c source codes, I do the following: >From the /cil-1.7.3 location: bin/cilly --dologcalls --save-temps -D HAPPY_MOOD -I myincludes hello.c -o hello.exe And it works. However, my prima