diff options
Diffstat (limited to 'dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch')
-rw-r--r-- | dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch b/dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch new file mode 100644 index 000000000000..68c3157f6809 --- /dev/null +++ b/dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch @@ -0,0 +1,11 @@ +--- a/Test/lit.site.cfg ++++ b/Test/lit.site.cfg +@@ -107,7 +107,7 @@ testDafnyExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0 + defaultServerExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0/work/dafny-4.2.0_net6.0_Release/DafnyServer.dll' + serverExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0/work/dafny-4.2.0_net6.0_Release/DafnyServer.dll' + +-boogieExecutable = 'dotnet tool run boogie' ++boogieExecutable = 'boogie' + + config.suffixes.append('.transcript') + |