#!/bin/bash
P=timeexit-install
DEFAULT_VERSION=0
. $SHELLPACK_INCLUDE/common.sh
WEB_LOCATION="http://cache.gmane.org//gmane/linux/kernel/mm/93394-001.bin"
MIRROR_LOCATION="$WEBROOT/timeexit/timeexit.c"

# Basic argument parser
while [ "$1" != "" ]; do
	case "$1" in
	-v)
		VERSION=$2
		shift 2
		;;
	*)
		echo Unrecognised option: $1
		shift
	esac
done
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 3
