Re: [CIL users] Cannot install CIL on Susie machine

2011-03-28 Thread Jesse Draper
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/oc

Re: [CIL users] Cannot install CIL on Susie machine

2011-03-28 Thread haihao shen
Hi, Thanks for the quick response. I downloaded CIL from http://sourceforge.net/projects/cil/files/cil/cil-1.3.7/cil-1.3.7.tar.gz/downloadand this version works well in Ubuntu 10.04. How about cloning the ocamlutil directory? How should I do? I am a little bit lost. I am wondering whether you cou

Re: [CIL users] Cannot install CIL on Susie machine

2011-03-28 Thread Gabriel Kerneis
On Mon, Mar 28, 2011 at 03:19:48PM +0800, haihao shen wrote: > make[1]: *** No rule to make target > `obj/x86_LINUX/libperfcount.a(obj/x86_LINUX/perfcount.opt.o', needed by > `obj/x86_LINUX/libperfcount.a'. Stop. I assume you are using CIL from svn (which is a good idea). Sadly, the svn is in a