/usr/bin/atsopt is in ats-lang-anairiats 0.2.11-1+b1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 | #!/bin/sh
#
# Author: Likai Liu (likai AT cs DOT bu DOT edu)
#
PACKAGE_TARNAME=ats-anairiats
PACKAGE_VERSION=0.2.11
prefix=/usr
export ATSHOME="${prefix}/lib/${PACKAGE_TARNAME}-${PACKAGE_VERSION}"
export ATSHOMERELOC="ATS-${PACKAGE_VERSION}"
if [ ! -d "$ATSHOME" ]; then
echo "ATS must be installed at '$ATSHOME'"
exit 1
fi
prog=`basename $0`
case $prog in
ats_env.sh)
echo "This is a wrapper script for atscc, atslib, and atsopt."
echo "The script should be symbolic linked from these aliases."
exit 1
;;
*)
exec "$ATSHOME/bin/$prog" "$@"
;;
esac
#
# end of [ats_env.sh.in]
#
|