[PPL-devel] New development monitoring system to help with the development of the PPL

[Roberto Bagnara]

Hi there,

after a few days of full-time work and with the help of Abramo
we have a development monitoring system called tinderbox2
(http://www.mozilla.org/projects/tinderbox/) basically up
and running at

     http://www.cs.unipr.it/~tinderbox/

This now monitors only the HEAD branch of the PPL and takes
advantage of two build machines: igor.cs.unipr.it runs
the production builds (i.e., where --enable-coefficients
is the only option that is used in the configuration);
gandalf.cs.unipr.it runs the maximum-debugging builds
(i.e., with the options --enable-assertions,
--enable-more-assertions and --disable-optimization are
used in addition to --enable-coefficients).
For the time being, they only test the versions with
mpz_class and checked-int32 coefficients, but they will
also test int8, int16 and int64.
In addition, I plan to use sandbox.cs.unipr.it to conduct,
once every night, a complete documentation build and
a test with maximum optimizations for the PentiumPro CPU
family.  And crystal.cs.unipr.it, once every night, will
test maximum optimizations for the AMD Athlon CPU.

Please, familiarize with the system and report to me
any problems you may observe.  Notice, e.g., that,
if you go quickly at the URL above and click on "PPL-HEAD"
you will see that the builds of cint32 on igor were
broken until around 10 this morning and that afterwards
one of my patches fixed it.  Notice also that clicking
on "panel" is a quick way to check if any of the builds
is broken or not: if you do this now, you will see
that all the 4 builds are green, so everything is OK.

Enjoy and try not to break the builds :-)
Ciao,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it