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
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
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
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
