#!/bin/sh

GAP_EXE=$GAP_DIR
if [ "x$GAP_DIR" = "x" ]; then
  GAP_DIR=$(cd "/usr/lib/gap" && pwd)
  GAP_EXE=/usr/lib/gap
fi

exec "$GAP_EXE/gap" -l "$GAP_DIR" "$@"
