#!/bin/sh
HERE="$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)"
LD_LIBRARY_PATH="$HERE/../lib${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}"
SINGULAR_ROOT_DIR="${SINGULAR_ROOT_DIR:-$HERE/../singular}"
SINGULAR_DEFAULT_DIR="${SINGULAR_DEFAULT_DIR:-$HERE/../singular/share/singular}"
export LD_LIBRARY_PATH
export SINGULAR_ROOT_DIR SINGULAR_DEFAULT_DIR
exec "$HERE/Singular-real" "$@"
