view src/swipl/README.md @ 100:a4cd935561d4 dml-dockerised tip

small updates and version pin for cliopatria

# 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.

	$