2009-11-17 18:29:10 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
2011-03-10 05:11:03 +00:00
|
|
|
class GnuProlog < Formula
|
2011-07-10 16:50:54 +00:00
|
|
|
url 'http://gprolog.univ-paris1.fr/gprolog-1.4.0.tar.gz'
|
2009-11-17 18:29:10 +00:00
|
|
|
homepage 'http://www.gprolog.org/'
|
2011-07-10 16:50:54 +00:00
|
|
|
md5 'cc944e5637a04a9184c8aa46c947fd16'
|
2009-11-17 18:29:10 +00:00
|
|
|
|
2010-04-07 05:58:35 +00:00
|
|
|
skip_clean :all
|
2009-11-17 18:29:10 +00:00
|
|
|
|
2011-08-19 19:59:50 +00:00
|
|
|
fails_with_llvm
|
|
|
|
|
|
2009-11-17 18:29:10 +00:00
|
|
|
def install
|
2010-04-07 05:58:35 +00:00
|
|
|
ENV.j1 # make won't run in parallel
|
2010-01-01 08:14:37 +00:00
|
|
|
|
2009-11-17 18:29:10 +00:00
|
|
|
Dir.chdir 'src' do
|
2011-08-29 02:17:39 +00:00
|
|
|
# Applies fix as seen here:
|
|
|
|
|
# http://lists.gnu.org/archive/html/users-prolog/2011-07/msg00013.html
|
|
|
|
|
inreplace "configure", "darwin10", "darwin1"
|
|
|
|
|
|
2011-03-18 01:48:01 +00:00
|
|
|
system "./configure", "--prefix=#{prefix}"
|
2009-11-17 18:29:10 +00:00
|
|
|
system "make"
|
|
|
|
|
system "make install-strip"
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
2011-08-19 19:59:50 +00:00
|
|
|
|
