Re: new buildbots - was: Exploding SpecConstr

2010-02-15 Thread Manuel M T Chakravarty
Ben Lippmeier: > If bad programs should be unrepresentable, then bad patches should be > unpushable. Here is a great slogan! Manuel ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: new buildbots - was: Exploding SpecConstr

2010-02-14 Thread Ben Lippmeier
On 13/02/2010, at 4:15 , Ian Lynagh wrote: > I've uploaded the current code to community: Looks good so far! > http://projects.haskell.org/builder/example/builders/ghcBuilder/2.html > http://projects.haskell.org/builder/example/builders/ghcBuilder/2/9.html > > My TODO list contains: > > * Pr

Re: new buildbots - was: Exploding SpecConstr

2010-02-12 Thread Simon Marlow
On 12/02/10 17:15, Ian Lynagh wrote: I've uploaded the current code to community: http://code.haskell.org/builder/ There are some brief docs in the doc/ directory. It is very much barebones at the moment, and doesn't yet have anything like the DSL that Simon was talking about. boo :-( Oh w

Re: new buildbots - was: Exploding SpecConstr

2010-02-12 Thread Ian Lynagh
I've uploaded the current code to community: http://code.haskell.org/builder/ There are some brief docs in the doc/ directory. It is very much barebones at the moment, and doesn't yet have anything like the DSL that Simon was talking about. But it is able to do a GHC build, and produces webpage

Re: new buildbots - was: Exploding SpecConstr

2010-02-01 Thread Ben Lippmeier
On 01/02/2010, at 22:19 , Simon Marlow wrote: > Correct me if I'm wrong, but your buildbot runs entirely on the client and is > designed to do a (configurable) build and email the results, right? Yes, that's all -- it's just something that I hacked together. The potential to use Ian's new buil

Re: Exploding SpecConstr

2010-02-01 Thread Simon Marlow
On 01/02/2010 06:41, Ben Lippmeier wrote: On 30/01/2010, at 3:58 , Neil Mitchell wrote: I've got buildbot running reasonably reliably, but writing configuration files in Python is a little annoying as I don't really know what I'm doing. If you were to make your version of buildbot decoupled fr

Re: Exploding SpecConstr

2010-01-31 Thread Ben Lippmeier
On 30/01/2010, at 3:58 , Neil Mitchell wrote: > I've got buildbot running reasonably reliably, but writing > configuration files in Python is a little annoying as I don't really > know what I'm doing. If you were to make your version of buildbot > decoupled from GHC, and ideally configurable in a

Re: Exploding SpecConstr

2010-01-31 Thread Ben Lippmeier
On 30/01/2010, at 3:20 , Simon Marlow wrote: > > We decided not to try to stick with buildbot - it isn't suitable, in that it > can't cope with dropped connections, and it would be too hard to fix it. > There isn't a good alternative that we could find, so after due consideration > we've deci

Re: Exploding SpecConstr

2010-01-30 Thread Ian Lynagh
On Sat, Jan 30, 2010 at 04:31:03PM +, Simon Peyton-Jones wrote: > | This is http://hackage.haskell.org/trac/ghc/ticket/3831 > | > | Simon - this is reasonably urgent, the HEAD build is broken with -O2, > | any chance you could take a look? > > How do I build the terminfo package? If I just sa

RE: Exploding SpecConstr

2010-01-30 Thread Simon Peyton-Jones
| This is http://hackage.haskell.org/trac/ghc/ticket/3831 | | Simon - this is reasonably urgent, the HEAD build is broken with -O2, | any chance you could take a look? How do I build the terminfo package? If I just say 'make' at top level, terminfo doesn't get built. If I cd to libraries/termin

Re: Exploding SpecConstr

2010-01-29 Thread Manuel M T Chakravarty
Simon Marlow: >> BTW: What's up with the buildbots? The daily reports haven't been very >> informative lately. Is this fallout from the monk -> abbot move? > > We decided not to try to stick with buildbot - it isn't suitable, in that it > can't cope with dropped connections, and it would be too

Re: Exploding SpecConstr

2010-01-29 Thread Neil Mitchell
Hi >> BTW: What's up with the buildbots? The daily reports haven't been very >> informative lately. Is this fallout from the monk ->  abbot move? > > We decided not to try to stick with buildbot - it isn't suitable, in that it > can't cope with dropped connections, and it would be too hard to fix

Re: Exploding SpecConstr

2010-01-29 Thread Simon Marlow
On 29/01/10 13:00, Ben Lippmeier wrote: All, Compiling the stage2 head with optimisations on is dying for me due to out-of-memory errors, at least when using>= 4 threads. This is on SPARC/Solaris, but I'm guessing that it's architecture independent, and that SpecConstr is to blame. Check the

Exploding SpecConstr

2010-01-29 Thread Ben Lippmeier
All, Compiling the stage2 head with optimisations on is dying for me due to out-of-memory errors, at least when using >= 4 threads. This is on SPARC/Solaris, but I'm guessing that it's architecture independent, and that SpecConstr is to blame. Check the result sizes in the following: b...@grey