2009-11-17 18:29:10 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
2011-03-10 05:11:03 +00:00
|
|
|
class GnuProlog < Formula
|
2009-11-17 18:29:10 +00:00
|
|
|
homepage 'http://www.gprolog.org/'
|
2013-06-20 17:18:23 +00:00
|
|
|
url 'http://gprolog.univ-paris1.fr/gprolog-1.4.4.tar.gz'
|
2013-04-25 13:43:54 +00:00
|
|
|
sha1 '658b0efa5d916510dcddbbd980d90bc4d43a6e58'
|
2011-08-19 19:59:50 +00:00
|
|
|
|
2013-11-19 18:05:10 +00:00
|
|
|
# Upstream patch:
|
|
|
|
|
# http://sourceforge.net/p/gprolog/code/ci/784b3443a0a2f087c1d1e7976739fa517efe6af6
|
2014-03-17 00:35:07 +00:00
|
|
|
patch do
|
2014-04-26 19:48:32 +00:00
|
|
|
url "https://gist.githubusercontent.com/jacknagel/7549696/raw/3078eef282ca141c95a0bf74396f4248bbe34775/gprolog-clang.patch"
|
2014-03-17 00:35:07 +00:00
|
|
|
sha1 "8af7816a97bd1319fbd3ae52cedc02ccc9164d27"
|
2012-06-27 23:01:26 +00:00
|
|
|
end
|
|
|
|
|
|
2009-11-17 18:29:10 +00:00
|
|
|
def install
|
2012-02-21 06:04:21 +00:00
|
|
|
cd 'src' do
|
2012-07-07 04:15:11 +00:00
|
|
|
system "./configure", "--prefix=#{prefix}", "--with-doc-dir=#{doc}"
|
2009-11-17 18:29:10 +00:00
|
|
|
system "make"
|
2013-11-19 18:05:10 +00:00
|
|
|
ENV.deparallelize
|
|
|
|
|
system "make", "install"
|
2009-11-17 18:29:10 +00:00
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
