blob: 2fd0d202e0a587b0b96d18273a46e9ad0a7a2a03 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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" "$@"
|
