dafny: fix Linux build (#95334)

Homebrew · Feb 18, 2022 · 88f2e4b · 88f2e4b
1 parent 1dea529
commit 88f2e4b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Formula/dafny.rb b/Formula/dafny.rb
@@ -17,6 +17,7 @@ class Dafny < Formula
   end
 
   depends_on "gradle" => :build
+  depends_on "[email protected]" => :build # for z3
   depends_on "dotnet"
   depends_on "openjdk@11"
 
@@ -36,6 +37,7 @@ def install
     dst_z3_bin.mkpath
 
     resource("z3").stage do
+      ENV["PYTHON"] = which("python3")
       system "./configure"
       system "make", "-C", "build"
       mv("build/z3", dst_z3_bin/"z3")