#!/bin/sh

# Launcher script for /usr/share/dafny-4.10.0/DafnyDriver (DafnyDriver),
# created from package "dev-lang/dafny-4.10.0",
# compatible with dotnet version 8.0.

for __dotnet_root in \
"/usr/lib64/dotnet-sdk-8.0" \
"/opt/dotnet-sdk-bin-8.0" ; do
[ -d "${__dotnet_root}" ] && break
done

DOTNET_ROOT="${__dotnet_root}"
export DOTNET_ROOT



exec "/usr/share/dafny-4.10.0/DafnyDriver" "${@}"
