gringo 4.2.1 (new formula)

Closes #25823.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>

1 files changed, 17 insertions, 0 deletions

diff --git a/Library/Formula/gringo.rb b/Library/Formula/gringo.rb
new file mode 100644
index 000000000..ec9fa6f38
--- /dev/null
+++ b/Library/Formula/gringo.rb
@@ -0,0 +1,17 @@
+require 'formula'
+
+class Gringo < Formula
+  homepage 'http://potassco.sourceforge.net/'
+  url 'http://downloads.sourceforge.net/project/potassco/gringo/4.2.1/gringo-4.2.1-source.tar.gz'
+  sha1 'e27790e7d27c54ebb993d97debc01df5c2a4ddd6'
+
+  depends_on 're2c'  => :build
+  depends_on 'scons' => :build
+  depends_on 'bison' => :build
+  depends_on :macos => :mavericks
+
+  def install
+    system "scons", "--build-dir=release", "gringo", "clingo"
+    bin.install "build/release/gringo", "build/release/clingo"
+  end
+end