Suggestion re altering the build system

[Simon Marlow]

Neil Mitchell wrote:
> Hi
> 
>> > The disadvantage is that you need quite a bit of disk space, and that
>> > if a buildbot is dead for a long time the "works" tree may get quite
>> > old.
>>
>> I wondered about this too, but I was worrying about ensuring atomicity 
>> during
>> the push, especially since we have multiple repos.  Maybe it's not a 
>> serious
>> problem.
> 
> The push from active to works? My thought was that each buildbot would
> have its own pair of repos, so you don't run into this problem.

The "works" repo has to be public (otherwise nobody can use it), and hence the 
push has to be atomic with respect to pulls.  I was thinking in terms of having 
the "works" repos on darcs.haskell.org, but of course they could be local to the 
builder if you have a way of exporting them.

Cheers,
	Simon