Merge pull request #8565 from jawshooah/cryptol/add-cvc4-dep

cryptol: Add cvc4 Cask dependency
Homebrew · Jan 3, 2015 · 73f359b · 73f359b
2 parents 076c5c4 + 0b4b3eb
commit 73f359b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Casks/cryptol.rb b/Casks/cryptol.rb
@@ -11,6 +11,8 @@
   binary "cryptol-#{version}-MacOSX-64/bin/cryptol"
   binary "cryptol-#{version}-MacOSX-64/lib/Cryptol.cry", :target => '/usr/local/lib/Cryptol.cry'
 
+  depends_on :cask => 'cvc4'
+
   caveats do
     files_in_usr_local
     <<-EOS.undent