Version 2 (modified by benl, 10 years ago) (diff)


< 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 owned directly by the DDC project.
If you want an account to run DDC related things then just ask. (x86_64/Linux)

Intel Core2 Duo T5300 1.73Ghz / 3GB / 120GB
Hosted at UNSW.
Uses the Arch Linux distro.
Nightly builds are run under the overlord account.
Build logs are located at