Simple configure/setup script.

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