This file is indexed.

/usr/bin/atslex is in ats-lang-anairiats 0.2.11-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
#!/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]
#