From ba34f803a3cb4a7988c76d09c3da6d78e7ba103f Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 5 Jun 2016 17:09:34 -0400 Subject: Patch Dafny to use the system Z3 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit In previous versions, it was sufficient to just pass /z3exe:/usr/bin/z3 in the dafny launcher script, but now, Dafny looks for its vendored Z3 (which we don’t install) at runtime and prints a warning if it’s gone. Patch that behaviour away, hardcoding /usr/bin/z3 as the Z3 binary location. --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) create mode 100644 debian/patches/series (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 00000000..8dec5b79 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +use_system_z3.diff -- cgit v1.2.3