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
  cd cil
  svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/ocamlutil

  # Unofficial git copy of CIL
  git clone -b master http://www.pps.jussieu.fr/~kerneis/software/repos/cpc.git 
cil
  cd cil
  git clone -b master 
http://www.pps.jussieu.fr/~kerneis/software/repos/ocamlutil.git

  # Official CPC repository (bundling ocamlutil)
  git clone http://www.pps.jussieu.fr/~kerneis/software/repos/cpc.git 

Then go in the cil (or cpc) repository and try:
  ./configure && make

Best regards,
-- 
Gabriel Kerneis

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