diff options
Diffstat (limited to 'dev-lang/dafny/files/dafny-4.5.0-lit-config.patch')
| -rw-r--r-- | dev-lang/dafny/files/dafny-4.5.0-lit-config.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/dev-lang/dafny/files/dafny-4.5.0-lit-config.patch b/dev-lang/dafny/files/dafny-4.5.0-lit-config.patch new file mode 100644 index 000000000000..87ce510a3592 --- /dev/null +++ b/dev-lang/dafny/files/dafny-4.5.0-lit-config.patch @@ -0,0 +1,20 @@ +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) + |