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

[CIL users] Cannot install CIL on Susie machine

2011-03-28 Thread haihao shen
Hi, I would like to install CIL on Linux x86_64 Susie machine but failed. The error message is like the following when "make": make cilly NATIVECAML= make[1]: Entering directory `/tmp/workspace/cil' make[1]: Nothing to be done for `cilly'. make[1]: Leaving directory `/tmp/workspace/cil' make cill