Checkout the cil using $ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/cil Ignore if it asks for password
Then, checkout ocamlutil from $ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/ocamlutil Copy ocamlutil into the cil folder, and install cil. Thanks, Praveen On 22 June 2010 04:27, Gabriel Kerneis <kern...@pps.jussieu.fr> wrote: > 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 > ------------------------------------------------------------------------------ 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
