Currently this done via some ugly make scripts. This needs to be cleaned up and then perhaps consider moving to a Python based system like the standard library distutils (at least) or an add-on like Waf.
Anonymous
You seem to have CSS turned off. Please don't fill out this field.