2014-01-12 00:22:03 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
|
|
class Gringo < Formula
|
|
|
|
|
homepage 'http://potassco.sourceforge.net/'
|
2014-08-28 13:52:53 +00:00
|
|
|
url 'https://downloads.sourceforge.net/project/potassco/gringo/4.4.0/gringo-4.4.0-source.tar.gz'
|
|
|
|
|
sha1 'c39a1c3cfe64b62e39e6abcc8f813e2d1d17251e'
|
2014-11-22 19:51:20 +00:00
|
|
|
revision 1
|
2014-03-23 22:45:18 +00:00
|
|
|
|
2014-08-30 15:59:42 +00:00
|
|
|
bottle do
|
|
|
|
|
cellar :any
|
2014-12-14 00:39:30 +00:00
|
|
|
sha1 "53aa3f2faea4ed8018e182ad116b580a258f5f0b" => :yosemite
|
|
|
|
|
sha1 "169c5ce2e52e5e60b8dc9cf1a7bea91d2068ce7d" => :mavericks
|
|
|
|
|
sha1 "dbf6db34bc0ea8858ce4a3d3a3f65d874d96133b" => :mountain_lion
|
2014-08-30 15:59:42 +00:00
|
|
|
end
|
|
|
|
|
|
2014-01-12 00:22:03 +00:00
|
|
|
depends_on 're2c' => :build
|
|
|
|
|
depends_on 'scons' => :build
|
|
|
|
|
depends_on 'bison' => :build
|
2014-03-26 21:42:25 +00:00
|
|
|
|
2014-04-05 04:16:09 +00:00
|
|
|
needs :cxx11
|
2014-01-12 00:22:03 +00:00
|
|
|
|
|
|
|
|
def install
|
2014-03-26 21:42:25 +00:00
|
|
|
# Allow pre-10.9 clangs to build in C++11 mode
|
|
|
|
|
ENV.libcxx
|
|
|
|
|
inreplace "SConstruct",
|
|
|
|
|
"env['CXX'] = 'g++'",
|
2014-12-15 05:29:02 +00:00
|
|
|
"env['CXX'] = '#{ENV.cxx}'"
|
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
|
