From 9f2ef5e9fc8bf13ba51180e608501eded3dbdbea Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Thu, 13 Aug 2015 09:44:10 -0700
Subject: Add a wrapper script around the Dafny binary (for mono).

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

(limited to 'Binaries')

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