I am in favor of moving the repository to sourceforge.
The current problem with the svn repository is that the different
people check out the repository with different kind of credentials
(some have an account on hal, others have an svnguest account on hal,
and others have neither). It seems that no single svn:externals
specification would work for all.
In any case, the procedure that Praveen described above would work:
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.
On Tue, Jul 6, 2010 at 3:13 AM, Olivier Crameri
> 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 ?
> On Tue, Jun 22, 2010 at 11:27 AM, Gabriel Kerneis <kerneis@...>
>> 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
>> $ 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
>> 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:
>> CIL-users mailing list