blob: ec9fa6f3816a58dbb35125f0d236c28a0d809b70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
|
