diff options
Diffstat (limited to 'dev-lang/dafny/files')
-rw-r--r-- | dev-lang/dafny/files/dafny-4.4.0-lit-config.patch | 14 | ||||
-rw-r--r-- | dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch | 11 |
2 files changed, 0 insertions, 25 deletions
diff --git a/dev-lang/dafny/files/dafny-4.4.0-lit-config.patch b/dev-lang/dafny/files/dafny-4.4.0-lit-config.patch deleted file mode 100644 index 31e6619c0c44..000000000000 --- a/dev-lang/dafny/files/dafny-4.4.0-lit-config.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg -+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg -@@ -215,9 +215,9 @@ def find(name, rooot): - return name - return "" - -+import shutil - solverPath = \ -- find("z3-4.12.1", binaryDir) or \ -- find("cvc4", binaryDir) -+ shutil.which("z3") - - if not solverPath: - lit_config.fatal('Could not find solver') diff --git a/dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch b/dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch deleted file mode 100644 index b661ccf96af6..000000000000 --- a/dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg -+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/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') - |