Le Saturday 15 Jan 2011 à 09:04:10 (+0100), Gabriel Kerneis a écrit :
> On Sat, Jan 15, 2011 at 12:32:09AM +0100, Guillaume Yziquel wrote:
> > If there's one thing I specifically loathe, it's the way sourceforge
> > repos are always buried deep into the maze of their webpages. The only
> > thing I could find (and tried with the -lstr issue) is this link:
> 
> You are definitely right, it is (too well) hidden there:
>   http://www.cs.berkeley.edu/~necula/cil/cil002.html
> 
> Please try either of the following:
> 
>   # Official CIL svn (ignore password error)
>   svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/cil

OK. Cloned it with git svn.

>   cd cil
>   svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/ocamlutil

What is ocamlutil by the way? Util stuff specifically for CIL, or does 
it have a wider scope than just CIL? (Just to know how and what I should
package on my system).

Best regards,

-- 
     Guillaume Yziquel

------------------------------------------------------------------------------
Protect Your Site and Customers from Malware Attacks
Learn about various malware tactics and how to avoid them. Understand 
malware threats, the impact they can have on your business, and how you 
can protect your company and customers by using code signing.
http://p.sf.net/sfu/oracle-sfdevnl
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to