The following directions from a July 2010 cil-users message should solve your problem:
Checkout the cil using $ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/cil Ignore if it asks for password Then, checkout ocamlutil from $ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/ocamlutil Copy ocamlutil into the cil folder, and install cil. ------------------------------------------------------------------------------ Enable your software for Intel(R) Active Management Technology to meet the growing manageability and security demands of your customers. Businesses are taking advantage of Intel(R) vPro (TM) technology - will your software be a part of the solution? Download the Intel(R) Manageability Checker today! http://p.sf.net/sfu/intel-dev2devmar _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
