Version 5 (modified by benl, 7 years ago)


< Main

Build bots

The build bot is the custom script located at
The GHC project is currently writing a better, reconfigurable buildbot. If that turns out well then we plan to use it instead.

Build Servers

The following machines are managed directly by the DDC team.
If you want an account to run DDC related things then just ask. (x86_64/Linux)

Intel Core2 Duo T5300 1.73Ghz / 3GB
Hosted at UNSW.
Uses the Arch Linux distro.
Nightly builds are posted to (x86/OSX)

Intel i7 2.8Ghz 4x2 / 8GB
Hosted at UNSW.
OSX 10.6.2
Nightly builds are posted to