play_icfp2015

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
+