cat

#! /bin/sh
DIR=$(dirname $0)
TX=`if [ -z $2 ]; then echo "60"; else echo $2; fi;`
TO=`if [ -z $STAREXEC_WALLCLOCK_LIMIT ]; then echo $TX; else echo "$STAREXEC_WALLCLOCK_LIMIT"; fi;`
a=$(expr $TO \- 5);
TO2=`if [ $a -le 5 ]; then echo "$TO"; else echo "$a"; fi;`
export OCAMLRUNPARAM=${OCAMLRUNPARAM:-s=96k}
if [ -z "$1" ]; then
  echo "Usage: $0 <file> [timeout]"
elif [ -e "$DIR/starexec_run_cat" ]; then
  exec $DIR/cat -cp PC -C "" -s COMPLEXITY -c $DIR/comp.conf -ext xml -o "$1" "$TO2"
elif [ -e Makefile ]; then
  echo "Type 'make help' to get compilation instructions."
else
  echo "Could not find $DIR/starexec_run_cat and this does not look like a source archive."
  echo "Giving up."
fi