[darcs-users] profiling darcs (issue973)

Ashley Moran ashley.moran at patchspace.co.uk
Mon Aug 4 15:16:07 UTC 2008


On Aug 04, 2008, at 3:59 pm, zooko wrote:

> Looks like http://bugs.darcs.net/issue971 .
>
> According to that ticket it is not fixed and the work-around is to  
> install the GHC darcs repository from a tarball. :-(
>
> Also rsync would probably do, if you have that.
>
> Regards,
>
> Zooko


Hi Zooko,

I've looked on the GHC wiki and the only tarball is pure source, no  
_darcs dir.

Max suggested this:
> I would guess this is the dreaded case-sensitivity issue with the  
> GHC repo.  I think you are supposed to do get --partial.  (Or get -- 
> lazy with darcs 2.)

But I assume I need the full repo.


If anyone can tell me how to get a full repo on OS X I will gladly run  
the profiling.


Ashley


-- 
http://www.patchspace.co.uk/
http://aviewfromafar.net/



More information about the darcs-users mailing list