Hi,
I am new to CIL and OCaml. learned little bit of OCaml for CIL.
I installed CIL. used the 'cilly' command and it gave a.out file as output.
*I want to run the reachingdefs.ml on a C file. how to do that.?*

what I am assuming: (are these correct)

1. CIL takes preprocessed (.i) files as input. (gcc -E -o test.i test.c)
2. We have to execute the modules in (src/ext/) using $ocamlc
reachingdefs.ml


*I also want to add new .ml file in (src/ext/). how do I do that? *
actually I followed the CIL Document, added a new file and modified
main.mland then executed $./configure and $make. then it gives me
error.

File "src/main.ml", line 107, characters 4-6:
Error: Unbound value WordCount



Best Regards,
Srikanth Vaindam
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to