From 321b9e9c38d4ac95bc2a4dd44e7d61b0108e8d1f Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 25 Jun 2017 22:50:28 +0100
Subject: [PATCH] Simple configure/setup script.

---
 configure.sh | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 configure.sh

diff --git a/configure.sh b/configure.sh
new file mode 100755
index 0000000..38eae6c
--- /dev/null
+++ b/configure.sh
@@ -0,0 +1,23 @@
+#!/bin/bash
+if test "$OS" = "Windows_NT"
+then
+  MONO=""
+else
+  MONO="mono"
+fi
+
+$MONO .paket/paket.bootstrapper.exe
+exit_code=$?
+if [ $exit_code -ne 0 ]; then
+  exit $exit_code
+fi
+if [ -e "paket.lock" ]
+then
+  $MONO .paket/paket.exe restore
+else
+  $MONO .paket/paket.exe install
+fi
+exit_code=$?
+if [ $exit_code -ne 0 ]; then
+        exit $exit_code
+fi