2014-01-12 00:22:03 +00:00
|
|
|
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
|
2014-02-25 15:39:31 +00:00
|
|
|
scons "--build-dir=release", "gringo", "clingo"
|
2014-01-12 00:22:03 +00:00
|
|
|
bin.install "build/release/gringo", "build/release/clingo"
|
|
|
|
|
end
|
|
|
|
|
end
|
