# configuration file for fate-script.py

# format of CONFIGURATION_LIST is:
# N: "string"
# N = configuration ID
# "string" = long one-liner that builds the program completely
CONFIGURATION_LIST = {
     # comment about compiler configuration
     -1: "/bin/true",
}

BASE_PATH = "/tmp/fate/"
SOURCE_PATH = BASE_PATH + "/source"
BUILD_PATH = "/usr/bin"
SAMPLES_PATH = "/tmp/fate/fate-suite"

# set these variables if a library path needs to be set in order for the
# compiled binary to run (note that this assumes that all configurations
# will rely on the same location); on Linux, the usual value for 
# LIBRARY_ENV_VAR is "LD_LIBRARY_PATH", which is the default set here,
# along with the default library path assumed by the default build one-liner
LIBRARY_ENV_VAR = "LD_LIBRARY_PATH"
LIBRARY_PATH = BUILD_PATH + "/install-directory/lib"

# the path and name of the GNU make command can vary from system to system,
# so allow the client machine to specify the exact path for 'make test'
MAKE_TEST_COMMAND = "/bin/true"

# set the nice level if the script should be re-nice'd on startup; useful
# when running FATE on a shared system
NICE_LEVEL = None

# these are set to valid values when the user has permissions to
# submit data to the server
user = None
hash_key = None