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/dafny')

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


From ca96e3974019ca956f46c91eb07b2c2dfede1d29 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 9 Sep 2015 07:02:54 -0400
Subject: Fix #90

The mono wrapper for Dafny didn't forward command line arguments.
---
 Binaries/dafny | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Binaries/dafny')

diff --git a/Binaries/dafny b/Binaries/dafny
index b8571bec..889ebc81 100755
--- a/Binaries/dafny
+++ b/Binaries/dafny
@@ -13,4 +13,4 @@ if [[ ! -x "$DAFNY" ]]; then
     exit 1
 fi
 
-"$MONO" "$DAFNY"
+"$MONO" "$DAFNY" "$@"
-- 
cgit v1.2.3