File: README.bin.in

package info (click to toggle)
swi-prolog 3.1.0-2
  • links: PTS
  • area: main
  • in suites: slink
  • size: 8,772 kB
  • ctags: 12,869
  • sloc: ansic: 43,657; perl: 12,577; lisp: 4,359; sh: 1,534; makefile: 798; awk: 14
file content (51 lines) | stat: -rw-r--r-- 1,315 bytes parent folder | download | duplicates (4)
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
			SWI-Prolog binary directory

Info:
=====

Author:			Jan Wielemaker
			SWI
			University of Amsterdam
			Roetersstraat 15
			1018 WB  Amsterdam
			The Netherlands
			E-mail: jan@swi.psy.uva.nl

Mailing list:		prolog@swi.psy.uva.nl
Subscribe to:		prolog-request@swi.psy.uva.nl
bug reports:		prolog-bugs@swi.psy.uva.nl

Copyright:		* Free for academic, personal and research usage
			* You need a licence for embedding in commercial
			  applications
			* See file LICENCE for details.


Installing the binary version:
==============================

The simplest method is to  make  a   *symbolic  link*  from  your public
executable directory to the executable   in  bin/<arch>/pl. Donot *copy*
the executable, as it uses the  information   from  the link to find the
location of the libraries.

If you installed this directory as

	/usr/local/lib/pl-@PLVERSION@

do (as root, where <arch> is the name of the architecture):

	# cd /usr/local/bin
	# ln -s /usr/local/lib/pl-@PLVERSION@/bin/<arch>/pl .


Customising the binary version
==============================:

You can make small  customisations  by   making/editing  a  file  called
`pl.rc' in the SWI-Prolog home directory.  This file is consulted before
personal initialisation files (~/.plrc) and before  the execution of the
-g initialisation goal.