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
