#!/bin/bash
P=timeexit-install
DEFAULT_VERSION=0
. $SHELLPACK_INCLUDE/common.sh
TIME_CMD=`which time`
if [ "$TIME_CMD" = "" ]; then
        TIMEFORMAT="%2Uuser %2Ssystem %Relapsed %P%%CPU"
        TIME_CMD="time"
fi
WEB_LOCATION="http://marc.info/?l=linux-mm&m=135827340713374&q=p3"
MIRROR_LOCATION="$WEBROOT/timeexit/timeexit.c"

# Basic argument parser
TASKSET_SERVER=
TASKSET_CLIENT=
SERVERSIDE_COMMAND=none
SERVERSIDE_NAME=`date +%Y%m%d-%H%M-%S`

while [ "$1" != "" ]; do
	case "$1" in
	-v)
		VERSION=$2
		shift 2
		;;
	--serverside-command)
		SERVERSIDE_COMMAND=$2
		shift 2
		;;
	--serverside-name)
		SERVERSIDE_NAME=$2
		shift 2
		;;
	*)
		echo Unrecognised option: $1
		shift
	esac
done
if [ "$TASKSET_SERVER" != "" ]; then
	echo TASKSET_SERVER: $TASKSET_SERVER
	echo TASKSET_CLIENT: $TASKSET_CLIENT
fi
if [ -z "$VERSION" ]; then
	VERSION=$DEFAULT_VERSION
fi

cd $SHELLPACK_SOURCES || die Sources directory does not exist
rm -rf timeexit-${VERSION}-installed
mkdir -p timeexit-${VERSION}-installed

sources_fetch $WEB_LOCATION $MIRROR_LOCATION $SHELLPACK_SOURCES/timeexit-${VERSION}-installed/timeexit.c
cd $SHELLPACK_SOURCES/timeexit-${VERSION}-installed
gcc -O2  timeexit.c -o timeexit
if [ $? -ne 0 ]; then
	die "$P: Failed to build timeexit"
fi

exit $SHELLPACK_SUCCESS
#### Description Timed exit microbenchmark
#### Details timeexit 6
