diff --git a/play_icfp2015 b/play_icfp2015 new file mode 100755 index 0000000..8a18cb4 --- /dev/null +++ b/play_icfp2015 @@ -0,0 +1,21 @@ +#!/bin/bash +# A POSIX variable +OPTIND=1 # Reset in case getopts has been used previously in the shell. + +# Initialize our own variables: +memory="" + +while getopts "h?m:f:t:p:c:" opt; do + case "$opt" in + h|\?) + echo "Usage: main -f problem.json -t time -m memory -p powerPhrase" + exit 0 + ;; + m) memory="+RTS -M"$OPTARG"m" + ;; + esac +done + +cd "$( dirname "${BASH_SOURCE[0]}" )" +dist/build/icfp2015/icfp2015 "$@" $memory +