diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-02-10 17:34:25 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-10 17:34:25 +0000 |
commit | 0bb42730e8fc9c8e571f12e3189c6c6f8d532c24 (patch) | |
tree | cba6032fbed30be2b0764494607c3ec9dda0c18a /dev-lang/dafny/files/dafny-4.1.0-lit.patch | |
parent | cc901a8ce7c6bfe97e3b4f048619693d360ae348 (diff) |
gentoo auto-resync : 10:02:2024 - 17:34:25
Diffstat (limited to 'dev-lang/dafny/files/dafny-4.1.0-lit.patch')
-rw-r--r-- | dev-lang/dafny/files/dafny-4.1.0-lit.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-lang/dafny/files/dafny-4.1.0-lit.patch b/dev-lang/dafny/files/dafny-4.1.0-lit.patch deleted file mode 100644 index c64dab367664..000000000000 --- a/dev-lang/dafny/files/dafny-4.1.0-lit.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- a/Test/lit.site.cfg -+++ b/Test/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') |