#!/bin/sh

# GAP startup script, installed in $SAGE_LOCAL/bin/gap

if [ -z "$SAGE_LOCAL" ]; then
    echo "Set the environment variable SAGE_LOCAL."
    exit 1
fi

GAP_ROOT="$SAGE_LOCAL/share/gap"

exec "$SAGE_LOCAL/bin/gap-bin" -l "$GAP_ROOT" -m 64m "$@"
