From 87047cd015c07f5d98def6681a0187639ccc62b5 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 30 Mar 2016 11:38:13 +0200
Subject: Add a wrapper for DafnyServer.exe

---
 Binaries/dafny-server | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 Binaries/dafny-server

(limited to 'Binaries')

diff --git a/Binaries/dafny-server b/Binaries/dafny-server
new file mode 100755
index 00000000..2fd0d202
--- /dev/null
+++ b/Binaries/dafny-server
@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+
+MONO=$(which mono)
+DAFNYSERVER=$(dirname "${BASH_SOURCE[0]}")/DafnyServer.exe
+
+if [[ ! -x "$MONO" ]]; then
+    echo "Error: Dafny requires Mono to run on non-Windows systems."
+    exit 1
+fi
+
+if [[ ! -x "$DAFNYSERVER" ]]; then
+    echo "Error: DafnyServer.exe not found at $DAFNYSERVER."
+    exit 1
+fi
+
+"$MONO" "$DAFNYSERVER" "$@"
-- 
cgit v1.2.3