On Mon, May 21, 2012 at 05:56:01PM +0530, srikanth vaindam wrote: > When I changed the line "module A = Olf" to "module A = Golf" in ptranal.ml I > get link error saying > > Linking bytecode obj/x86_LINUX/cilly.byte.exe > Error while linking obj/x86_LINUX/ptranal.cmo: > Reference to undefined global `Golf' > make: *** [obj/x86_LINUX/cilly.byte.exe] Error 2
Assuming you build your Cil with make(1) add the `Golf' module to the list of CILLY_LIBRARY_MODULES. Remove `Olf' from the same list at your discretion. diff --git a/Makefile.in b/Makefile.in index c840398..5f797a9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -92,7 +92,7 @@ CILLY_LIBRARY_MODULES = pretty inthash errormsg alpha trace stats util clist \ dataflow dominators bitmap ssa ciltools \ usedef logcalls logwrites rmtmps \ callgraph epicenter heapify \ - setp uref olf ptranal \ + setp uref golf olf ptranal \ canonicalize heap oneret partial simplemem simplify \ dataslicing sfi expcompare\ cfg liveness reachingdefs deadcodeelim availexps \ After applying the patch say make clean make HTH, Chris ------------------------------------------------------------------------------ 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