view src/swipl/README.md @ 75:271cbb745f91

Updated for >=7.3.8
author samer
date Mon, 05 Oct 2015 00:47:43 +0100
parents c7720fefea26
children
line wrap: on
line source
# To build a new SWI Prolog:

1. Download the source archive.
2. Unpack it here. This will result in a new directory which
	I will refer to as <new source root>.
3. Copy http_openid.pl to <new source root>/packages/http/
4. Copy build into <new source root>
5. CD into <new source root> and build.
6. Give SUDO password when prompted to install into /usr/local
7. Start SWIPL and rebuild any packages that have foreign libraries

Eg, for the latest version as of today (14/5/2015) 7.3.0, I did:

	$ wget http://www.swi-prolog.org/download/devel/src/swipl-7.3.0.tar.gz
	$ tar xzf swipl-7.3.0.tar.gz

Alternatively, if you want to be cool, try

	$ curl http://www.swi-prolog.org/download/devel/src/swipl-7.3.0.tar.gz | tar xz

Then

	$ cd swipl-7.3.0
	$ cp -p ../http_openid.pl packages/http
	$ cp -p ../build .
	$ ./build
	$ swipl

	?- maplist(pack_rebuild,[real,prosqlite,plml]).
	?- halt.

	$