[darcs-users] buildbot, --with-typewitnesses, and ghc 6.6

[Jason Dagit]

On Wed, Sep 24, 2008 at 3:23 PM, Eric Kow <kowey at darcs.net> wrote:

> On Wed, Sep 24, 2008 at 13:36:49 -0600, zooko wrote:
> > The source code to the buildbot master.cfg file is in http://
> > code.haskell.org/darcs/buildbot and if anyone who knows what they are
> > doing adds a patch to change this "--with-typewitnesses"
> > configuration, I will deploy it to the buildmaster.
>
> I've pushed a patch just removing this flag.
>
> The problem is that --with-type-witnesses (notice the extra hyphen as
> Jason points out) is not yet ready to be the default build mode, so it
> will have to be a separate build... and I'm not able to look into
> setting that (better) solution up.


The way it works in the darcs test is this:
make clean && ./configure --with-type-witnesses && make witnesses
make clean && ./configure && make tests

The idea is that, we only have proper witnesses for part of the source
(everything in the witnesses target in the make file) and the witnesses are
a compile time test, so we don't gain anything by trying to run the tests on
that compilation flag.

I hope that helps.  Basically, we need to do multiple configure/build cycles
per buildbot test.  I'm sorry I didn't explain that before.


>
> We need a Buildbot Wrangler!


Yes we do.  Any volunteers?

Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.osuosl.org/pipermail/darcs-users/attachments/20080924/54a9a188/attachment.htm