Re: [CIL users] Compiling CIL on Debian, -lstr

[Gabriel K. <ke...@pp...>]

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