Marco,

On Tue, Jun 22, 2010 at 11:06:58AM +0200, Marco Trudel wrote:
> Oh, actually Olivier Crameri already reported that two months ago...
> Does this mean that CIL has been completely discontinued?

No, the access rules seem broken (and I cannot fix them since I have no
access to the server either) but the restricted svn is still working.

> That would really be a pity since it's actually a great program!

Meanwhile, I've set up a copy of the svn using git.  You can grab it
with:
$ git clone http://www.pps.jussieu.fr/~kerneis/software/repos/cpc.git \
    -b master cil
$ cd cil
$ git clone http://www.pps.jussieu.fr/~kerneis/software/repos/ocamlutil.git \
    -b master ocamlutil

Build (from the cil/ directory):
$ ./configure && make

Update (from the cil/ directory):
$ git pull origin master:master && cd ocamlutil && git pull origin master:master

Regards,
-- 
Gabriel Kerneis

------------------------------------------------------------------------------
ThinkGeek and WIRED's GeekDad team up for the Ultimate 
GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the 
lucky parental unit.  See the prize list and enter to win: 
http://p.sf.net/sfu/thinkgeek-promo
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to