I have an OCaml program (WordCount.ml) which I am trying to add to src/ext/.
1. I modified cil's Makefile. added the name of my program
to CILLY_LIBRARY_MODULES variable. (should I modify Makefile.in also?)
2. What should I add the cil.ml file to make it recognize my program.?
3. Should I add anything to my file (WordCount.ml) ?
Best Regards,
Srikanth Vaindam
On Fri, Apr 27, 2012 at 12:55 PM, 林楠 <xiaona...@gmail.com> wrote:
> **
> I am using CIL to write code transformation utilities. On windows, you can
> use cilly.bat to compile (unpreprocessed) C files directly with command
> arguments to enabling the required modules. However, I prefer using
> cilly.asm.exe or cilly.byte.exe which only accepts preprocessed files as
> input. In this way, I don't need PERL installed to run cilly.
>
> When writing a new module in src/ext/, the Makefile must be modified,
> inserting new module names to the module list. Also, the feature
> description must be inserted to cil.ml. Otherwise, the new module won't
> be recognized.
>
> 2012-04-27
> ------------------------------
> 林楠
> ------------------------------
> *发件人：*srikanth vaindam
> *发送时间：*2012-04-27 14:32
> *主题：*[CIL users] beginners questions
> *收件人：*"cil-users"<cil-users@lists.sourceforge.net>
> *抄送：*
>
> 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.ml and 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
