aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/gnu-prolog.rb
blob: 1acdb2679afd383d9f72021b7423d45f521e681b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
require 'formula'

class GnuProlog < Formula
  url 'http://gprolog.univ-paris1.fr/gprolog-1.4.0.tar.gz'
  homepage 'http://www.gprolog.org/'
  md5 'cc944e5637a04a9184c8aa46c947fd16'

  skip_clean :all

  fails_with_llvm :build => 2334

  def install
    ENV.j1 # make won't run in parallel

    cd 'src' do
      # Applies fix as seen here:
      # http://lists.gnu.org/archive/html/users-prolog/2011-07/msg00013.html
      inreplace "configure", "darwin10", "darwin1"

      system "./configure", "--prefix=#{prefix}"
      system "make"
      system "make install-strip"
    end
  end
end