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