aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Library/Formula/gringo.rb5
1 files changed, 5 insertions, 0 deletions
diff --git a/Library/Formula/gringo.rb b/Library/Formula/gringo.rb
index 682be5220..5abecc45a 100644
--- a/Library/Formula/gringo.rb
+++ b/Library/Formula/gringo.rb
@@ -5,6 +5,11 @@ class Gringo < Formula
url 'https://downloads.sourceforge.net/project/potassco/gringo/4.3.0/gringo-4.3.0-source.tar.gz'
sha1 'dccb55c2c690ebe1f6599a43b6072bfb50eb5e83'
+ bottle do
+ cellar :any
+ sha1 "1dc4996fd4469e987a5aab9c205cf157c3460c01" => :mavericks
+ end
+
depends_on 're2c' => :build
depends_on 'scons' => :build
depends_on 'bison' => :build