#!/bin/sh

if [ -f ./run-prelude ]; then . ./run-prelude; fi

if [ -z "$CONFIG" ]; then
    CONFIG=$(hostname -s)
    echo 'Environment variable CONFIG not defined; defaulting to "'"${CONFIG}"'"'
fi

if [ ! -f configs/${CONFIG}.rkt ]; then
    echo "Config ${CONFIG} not found: configs/${CONFIG}.rkt not readable"
    exit 1
fi

PLTSTDERR=info
export PLTSTDERR
echo '============================================='
cd src
exec ${RACKET}racket ../configs/${CONFIG}.rkt 2>&1