Thanks. Actually, the package CIL-1.3.7 I downloaded contains ocamlutil.
I have solved the issue by copying the obj dir from another machine
directly.
Thank you for your help.
On Tue, Mar 29, 2011 at 5:04 AM, <cil-users-requ...@lists.sourceforge.net>wrote:
> Send CIL-users mailing list submissions to
> cil-users@lists.sourceforge.net
>
> To subscribe or unsubscribe via the World Wide Web, visit
> https://lists.sourceforge.net/lists/listinfo/cil-users
> or, via email, send a message with subject or body 'help' to
> cil-users-requ...@lists.sourceforge.net
>
> You can reach the person managing the list at
> cil-users-ow...@lists.sourceforge.net
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of CIL-users digest..."
>
>
> Today's Topics:
>
> 1. Re: Cannot install CIL on Susie machine (Gabriel Kerneis)
> 2. Re: Cannot install CIL on Susie machine (haihao shen)
> 3. Re: Cannot install CIL on Susie machine (Jesse Draper)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Mon, 28 Mar 2011 19:01:39 +0200
> From: Gabriel Kerneis <kern...@pps.jussieu.fr>
> Subject: Re: [CIL users] Cannot install CIL on Susie machine
> To: haihao shen <haihaos...@gmail.com>
> Cc: cil-users@lists.sourceforge.net
> Message-ID: <20110328170139.gb1...@tatanka.kerneis.info>
> Content-Type: text/plain; charset=us-ascii
>
> 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 somewhat broken state.
>
> You must clone the ocamlutil directory, from inside the cil directory;
> it should be a svn-external but it does not work in the public
> repository.
>
> Best,
> --
> Gabriel Kerneis
>
>
>
> ------------------------------
>
> Message: 2
> Date: Tue, 29 Mar 2011 08:50:41 +0800
> From: haihao shen <haihaos...@gmail.com>
> Subject: Re: [CIL users] Cannot install CIL on Susie machine
> To: Gabriel Kerneis <kern...@pps.jussieu.fr>
> Cc: cil-users@lists.sourceforge.net
> Message-ID:
> <AANLkTikbNR47q-1hFCdh2VJuR2FJMvDXV=qclixak...@mail.gmail.com>
> Content-Type: text/plain; charset="iso-8859-1"
>
> 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 could give me an example.
>
> Thanks, Haihao
>
>
> On Tue, Mar 29, 2011 at 1:01 AM, Gabriel Kerneis <kern...@pps.jussieu.fr
> >wrote:
>
> > 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 somewhat broken state.
> >
> > You must clone the ocamlutil directory, from inside the cil directory;
> > it should be a svn-external but it does not work in the public
> > repository.
> >
> > Best,
> > --
> > Gabriel Kerneis
> >
> -------------- next part --------------
> An HTML attachment was scrubbed...
>
> ------------------------------
>
> Message: 3
> Date: Mon, 28 Mar 2011 22:30:02 -0400
> From: Jesse Draper <jdra...@super.org>
> Subject: Re: [CIL users] Cannot install CIL on Susie machine
> To: cil-users@lists.sourceforge.net
> Message-ID: <4d91442a.8000...@super.org>
> Content-Type: text/plain; charset=ISO-8859-1; format=flowed
>
> 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
>
>
> End of CIL-users Digest, Vol 59, Issue 4
> ****************************************
>
------------------------------------------------------------------------------
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
