On Wed, Sep 24, 2008 at 3:23 PM, Eric Kow <[EMAIL PROTECTED]> 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
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
