diff options
| author | Anil Madhavapeddy | 2014-01-12 00:22:03 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2014-01-20 15:54:51 -0800 |
| commit | c976f34edbc25f5a4e9b1283cff5cb9725c17bb6 (patch) | |
| tree | fe1359ccbb1a8cbee30c74b250c9d8fbf3e8bbef | |
| parent | b1ba1b70f5a46a5ac79d668b22d93450391ee19b (diff) | |
| download | homebrew-c976f34edbc25f5a4e9b1283cff5cb9725c17bb6.tar.bz2 | |
gringo 4.2.1 (new formula)
Closes #25823.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
| -rw-r--r-- | Library/Formula/gringo.rb | 17 |
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 |