Hi,
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 see
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 distribut
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
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 eith
Oh, actually Olivier Crameri already reported that two months ago...
Does this mean that CIL has been completely discontinued?
That would really be a pity since it's actually a great program!
Cheers!
Marco
On 22.06.2010 10:58, Marco Trudel wrote:
> Dear all
>
> Checking out the CIL trunk
> (svn:
Dear all
Checking out the CIL trunk
(svn://hal.cs.berkeley.edu/home/svn/projects/trunk/cil) currently
doesn't work. I'm getting asked for a password
(svngu...@hal.cs.berkeley.edu's password) for an external dependency
(cil/ocamlutil).
Would be great if this could be fixed.
Thanks
Marco
---
