/usr/bin/patsopt is in ats2-lang 0.1.3-1.
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 35 36 | #!/bin/sh
#
# Author: Likai Liu (likai AT cs DOT bu DOT edu)
#
# Author2: Hongwei Xi (gmhwxi AT gmail DOT com) // September, 2013
#
PACKAGE_TARNAME=ats2-postiats
PACKAGE_VERSION=0.1.3
prefix=/usr
if [ ! "$PATSHOME" ] ; then
export PATSHOME="$prefix/lib/${PACKAGE_TARNAME}-${PACKAGE_VERSION}"
fi
if [ ! -d "$PATSHOME" ] ; then
echo "ATS-Postiats should have been available at '${PATSHOME}'"; exit 1
fi
prog=`basename $0`
case $prog in
patsopt)
exec "$PATSHOME/bin/$prog" "$@"
;;
*)
echo "This is a script for patsopt."
echo "The script should be symbolically named as [patsopt]."
exit 1
;;
esac
#
# end of [patsopt_env.sh.in]
#
|