eprover: add 1.8 bottle.

Homebrew · Oct 14, 2015 · 2626767 · 2626767
1 parent 720cb11
commit 2626767
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Library/Formula/eprover.rb b/Library/Formula/eprover.rb
@@ -5,6 +5,13 @@ class Eprover < Formula
   version "1.8"
   sha256 "636a5353046680f9c960d02d942df0a55af2e3941676df76e3356a334f6e842e"
 
+  bottle do
+    cellar :any_skip_relocation
+    sha256 "c35ff43a6827961b2bd55ff4da7bf5195d94aaee39b897c6072c339496875eb5" => :el_capitan
+    sha256 "41838e2bbbecdb85d9b0f9e4dee595a4d4ebc75a7a2aa139ce39f0899c837d2d" => :yosemite
+    sha256 "1f3db787cc176deb96d5e40b627b2f105530c8a82bad82718271a3d0a6a1e54b" => :mavericks
+  end
+
   def install
     system "./configure", "--bindir=#{bin}", "--man-prefix=#{man}"
     system "make", "install"