cryptol: fix build

Closes #62724. Signed-off-by: Thierry Moisan <thierry.moisan@gmail.com> Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
Homebrew · Oct 12, 2020 · 306e89c · 306e89c
1 parent 2e78e8b
commit 306e89c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Formula/cryptol.rb b/Formula/cryptol.rb
@@ -24,6 +24,13 @@ class Cryptol < Formula
   uses_from_macos "ncurses"
   uses_from_macos "zlib"
 
+  # Fix dependencies https://github.com/GaloisInc/cryptol/issues/879
+  # Remove in next version
+  patch do
+    url "https://github.com/GaloisInc/cryptol/commit/f35fe362.diff?full_index=1"
+    sha256 "7deab78a33582f456b354d2230b4f7faeff526127910d1f6c9b77cf63c16dcfd"
+  end
+
   def install
     system "cabal", "v2-update"
     system "cabal", "v2-install", *std_cabal_v2_args