diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-13 09:44:10 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-13 09:44:10 -0700 |
| commit | 9f2ef5e9fc8bf13ba51180e608501eded3dbdbea (patch) | |
| tree | c92ed97f13888c1539b4580f9ef2c8ff8307ba1c | |
| parent | 3c6bbc3ee8a0452bcca193217957e6ea5e6e23f4 (diff) | |
Add a wrapper script around the Dafny binary (for mono).
| -rwxr-xr-x | Binaries/dafny | 16 |
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" |