#!/bin/bash
# The l3hol script (with quote preprocessing)

if ( readlink "$0" > /dev/null ); then
  L3DIR="$(dirname "$(readlink "$0")")"
else
  L3DIR="$(dirname "$0")"
fi

if [[ "$1" == "--lib-path" ]]; then
   echo "$(cd "$L3DIR" || exit; pwd -P)"/../lib
else
   "$L3DIR"/unquote | "$L3DIR"/l3hol.run -i -q "$@" --use "$L3DIR"/startup.sml
fi
