diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-05-29 00:07:15 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-05-29 00:07:15 +0100 |
| commit | 5c4786a868bad6e3f46aecf32ad6c6dc5de98408 (patch) | |
| tree | 1a1792815761a5b6f645c8d55b6b698e102dca48 /dev-lang/dafny/files/dafny-4.4.0-lit-config.patch | |
| parent | 3c1648a0749c1d66b300d857e6b417c1162890da (diff) | |
gentoo auto-resync : 29:05:2024 - 00:07:15
Diffstat (limited to 'dev-lang/dafny/files/dafny-4.4.0-lit-config.patch')
| -rw-r--r-- | dev-lang/dafny/files/dafny-4.4.0-lit-config.patch | 14 |
1 files changed, 0 insertions, 14 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') |