From fc10445b7963c89709f9c73128d50f291276fdb6 Mon Sep 17 00:00:00 2001
From: kaos <kaos@marvin>
Date: Mon, 10 Aug 2015 13:18:22 +0200
Subject: [PATCH] play_icfp2015

---
 play_icfp2015 | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 play_icfp2015

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
+