I'm wondering if this would not be a good opportunity to move the repository
from the current server at Berkeley to sourceforge or some place else. Same
thing for the documentation.
It would make it easier to appoint new maintainers and make sure new patches
are committed to the official distribution.
Any opinion on that ?
Olivier
On Tue, Jun 22, 2010 at 11:27 AM, 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
>
------------------------------------------------------------------------------
This SF.net email is sponsored by Sprint
What will you do first with EVO, the first 4G phone?
Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
