On Mon, Jun 08, 2009 at 11:05:56AM +0800, xunilwithkrow wrote: > My configuration is Cil-1.3.4 and Ocaml 3.08.3. I want to get > libcil.so after compilation but I can only find libcil.a in in > cil/obj/x86_LINUXS. I think I should change Makefile.cil but it's hard > for me to figure it out in elegant way. So my question is how to > build lcil shared library ?
Is there a reason why you use those deprecated software? Ocaml 3.11 and Cil 1.3.7 have both been released a few time ago. Moreover, what do you want to do with libcil.so? Shared libraries are tricky in Ocaml because of static type-checking: http://alan.petitepomme.net/cwn/2004.05.18.html#10 If you used an up-to-date Ocaml, you might consider Dynlink (available in both byte-code and native mode — native one not available in 3.08): http://caml.inria.fr/pub/docs/manual-ocaml/libref/Dynlink.html By the way, did the Cil core-team considered using it to load modules dynamically? It would make Cil much more modular. Regards, -- Gabriel Kerneis ------------------------------------------------------------------------------ Crystal Reports - New Free Runtime and 30 Day Trial Check out the new simplified licensing option that enables unlimited royalty-free distribution of the report engine for externally facing server and web deployment. http://p.sf.net/sfu/businessobjects _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
