Motivation: The build on Cygwin currently requires a few SAGE_ variables to be set in order to build successfully.
It would be nice to be able to set this in the patchbot's config file to ensure that the patchbot always builds with these variables set, without having to set them manually when launching the patchbot.
Motivation: The build on Cygwin currently requires a few
SAGE_
variables to be set in order to build successfully.It would be nice to be able to set this in the patchbot's config file to ensure that the patchbot always builds with these variables set, without having to set them manually when launching the patchbot.