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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
require "formula"
class SwiProlog < Formula
homepage "http://www.swi-prolog.org/"
url "http://www.swi-prolog.org/download/stable/src/pl-6.6.6.tar.gz"
sha1 "38cc6772a48fd412f50fc06e24e6e4673eb71d3b"
revision 1
bottle do
sha1 "639b6093ff09bb6b066ff86705de2ddc78c37213" => :yosemite
sha1 "76f0f355cc1e16442ed3f474654924890da457dd" => :mavericks
sha1 "6917eab60b4e607311f0ee777dd70e31e624e7c1" => :mountain_lion
end
devel do
url "http://www.swi-prolog.org/download/devel/src/pl-7.1.25.tar.gz"
sha1 "c7912d9905de961426ffae3545f8d4a16f68c386"
end
head do
url "https://github.com/SWI-Prolog/swipl-devel.git"
depends_on "autoconf" => :build
end
option "lite", "Disable all packages"
option "with-jpl", "Enable JPL (Java Prolog Bridge)"
option "with-xpce", "Enable XPCE (Prolog Native GUI Library)"
depends_on "pkg-config" => :build
depends_on "readline"
depends_on "gmp"
depends_on "openssl"
depends_on "libarchive" => :optional
if build.with? "xpce"
depends_on :x11
depends_on "jpeg"
end
# 10.5 versions of these are too old
if MacOS.version <= :leopard
depends_on "fontconfig"
depends_on "expat"
end
fails_with :llvm do
build 2335
cause "Exported procedure chr_translate:chr_translate_line_info/3 is not defined"
end
def install
# The archive package hard-codes a check for MacPort libarchive
# Replace this with a check for Homebrew's libarchive, or nowhere
if build.with? "libarchive"
inreplace "packages/archive/configure.in", "/opt/local",
Formula["libarchive"].opt_prefix
else
ENV.append "DISABLE_PKGS", "archive"
end
args = ["--prefix=#{libexec}", "--mandir=#{man}"]
ENV.append "DISABLE_PKGS", "jpl" if build.without? "jpl"
ENV.append "DISABLE_PKGS", "xpce" if build.without? "xpce"
# SWI-Prolog's Makefiles don't add CPPFLAGS to the compile command, but do
# include CIFLAGS. Setting it here. Also, they clobber CFLAGS, so including
# the Homebrew-generated CFLAGS into COFLAGS here.
ENV["CIFLAGS"] = ENV.cppflags
ENV["COFLAGS"] = ENV.cflags
# Build the packages unless --lite option specified
args << "--with-world" unless build.include? "lite"
# './prepare' prompts the user to build documentation
# (which requires other modules). '3' is the option
# to ignore documentation.
system "echo '3' | ./prepare" if build.head?
system "./configure", *args
system "make"
system "make install"
bin.write_exec_script Dir["#{libexec}/bin/*"]
end
test do
system "#{bin}/swipl", "--version"
end
end
|
