gentoo-overlay/dev-lang/dafny/files/dafny-4.5.0-lit-config.patch

index d7945a9..2a175fe 100644
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
@@ -106,7 +106,7 @@ testDafnyExecutableResolver = 'dotnet run --no-build --project ' + quotePath(os.
 defaultServerExecutable = 'dotnet run --no-build --project ' + quotePath(os.path.join(sourceDirectory, 'DafnyServer', 'DafnyServer.csproj'))
 serverExecutable = lit_config.params.get('serverExecutable', defaultServerExecutable)
 
-boogieExecutable = 'dotnet tool run boogie'
+boogieExecutable = 'boogie'
 
 config.suffixes.append('.transcript')
 
@@ -217,6 +217,7 @@ solverRoots = os.pathsep.join(
 print(solverRoots)
 
 solverPath = \
+    shutil.which("z3") or \
     lit.util.which("z3-4.8.5", solverRoots) or \
     lit.util.which("cvc4", solverRoots)