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

Reply via email to