summaryrefslogtreecommitdiff
path: root/Binaries/dafny
diff options
context:
space:
mode:
Diffstat (limited to 'Binaries/dafny')
-rwxr-xr-xBinaries/dafny16
1 files changed, 16 insertions, 0 deletions
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"