Re: [CIL users] How to build lcil library

2009-06-10 xunilwithkrow 发件人： Gabriel Kerneis 发送时间： 2009-06-09 16:17:00 收件人： xunilwithkrow 抄送： cil-users@lists.sourceforge.net 主题： Re: [CIL users] How to build lcil library On Mon, Jun 08, 2009 at 11:05:56AM +0800, xunilwithkrow wrote: > My configuration is Cil-1.3.4 and Ocaml 3

Re: [CIL users] How to build lcil library

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 ele