forked from TeamSPoon/swipl-devel-unstable
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README.MacOSX
63 lines (45 loc) · 2 KB
/
README.MacOSX
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
SWI-Prolog on MacOS X
---------------------
Last updated:
- Dec 18, 2012
- SWI-Prolog 6.3.5
- Xcode 4.5.1
- MacOS 10.7 (Lion)
Option 1: Install using Macports
--------------------------------
SWI-Prolog is provided as a Macports (www.macports.org/) project. It is
adviced to install Macports, after which you can install the latest
submitted port using
% sudo port selfupdate
% sudo port install swi-prolog
This installs the binary as /opt/local/bin/swipl and the actual system
in /opt/local/lib/swipl-<version>
Option 2: Install from source
-----------------------------
If you install from source (e.g., from the SWI-Prolog tarball or the
SWI-Prolog git repositories), you still need Macports for the
dependencies.
You have two options to install the dependencies. Installing SWI-Prolog
as in option 1 also installs the dependencies. Unfurtunately, this
installs lots of Macport alternatives for MacOS libraries that are
prefectly suitable for running SWI-Prolog. If you want lean Macports,
you can restrict the installation to the following dependencies.
% sudo port install readline ncurses jpeg libmcrypt gmp zlib
% sudo port install libarchive ossp-uuid
Regardless of which way you used to install the dependent libraries, you
need to install some development tools that are not in Xcode:
% sudo port install pkgconfig autoconf
Finally, you need to install the Oracle's Java SDK or you need to
disable JPL in the build[.templ] script.
LLVM
----
SWI-Prolog compiles both with native gcc and llvm-gcc. llvm-gcc is the
distributed with recent versions of xcode. Originally, gcc-4.2 provided
better performance than llvm-gcc. We do not have recent comparisons.
Please share information with [email protected] if you decide to do a
comparison.
Development tools (X11)
-----------------------
No matter how you install SWI-Prolog, in order to run the Prolog
development tools you need X11 installed. See the
http://xquartz.macosforge.org/