[CIL users] how to add extra ocaml library to cil

2011-09-13 Thread 823797879
Hi, I have built an ocaml library of sqlite3 named "sqlite3.cma". And i write an interface file using "sqlite3.cma" named "sqlite3Interface.ml". Then i also add a feature file to cil named "ciltest.ml" (in "ciltest.ml" , it uses "sqlite3Inteface.ml" in the form of "open sqlite3Interface") So i en

Re: [CIL users] Problem with MSVC mode in Windows

2011-09-13 Thread Gabriel Kerneis
On Fri, Jul 22, 2011 at 02:05:43PM -0400, Feng Zhu wrote: > > On Thu, Jul 21, 2011 at 06:41:53PM -0400, Feng Zhu wrote: > > > To use cilly in MSVC mode, I: > > > 1. set environment variables. > > > 2. launch the Visual Studio Command Prompt (2010) > > > 3. launch Cygwin in it > > >