#! /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_ttt2_cert" ]; then exec $DIR/ttt2 -s COMP -c $DIR/comp.conf -cpf -ext xml "$@" elif [ -e Makefile ]; then echo "Type 'make help' to get compilation instructions." else echo "Could not find $DIR/starexec_run_ttt2_cert and this does not look like a source archive." echo "Giving up." fi