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
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users