Instructions for installing and testing AMD64 poplog version 15.6
Aaron Sloman
http://www.cs.bham.ac.uk/~axs/
Updated: 6 Jun 2008

This site provides a port of 32 bit Poplog version 15.61 to Linux on
AMD64

(It is not yet packaged in the same way as the 32 bit
version of Poplog for linux + PC).

This version has been tested both on AMD 64-bit and on Linux on Intel
EM64T processors (Intel Pentium D processor).

Many thanks to Waldek Hebisch for doing the 64-bit
Linux port.

==================================

Please read this file in the same directory:

    http://www.cs.bham.ac.uk/research/projects/poplog/v15.61-amd64/AAAREADME.txt

When poplog is installed e.g. in /usr/local/poplog64 (the default)
that directory is referred to by the installation scripts as
$rootdir

A directory in there into which the poplog files will be untarred
will be called something like v15.61-amd64. In that case the
environment variable $usepop will be set to $rootdir/v15.61-amd64

(Exactly what it is called will depend on the version of poplog.
This allows different versions of poplog to coexist in $rootdir).

After installation, see the userguide and man files in

    $usepop/man/man1/userguide.html
    $usepop/man/man1/poplog.1

This provides more information on running poplog prolog,
poplog common lisp, poplog ML, ved and xved.

You may also find useful scripts here
    $usepop/bin
    $usepop/setup

If you change the root directory you will have to edit the path
names in the poplog and poplog.sh files in $usepop/bin/

See also AAAREADME.txt in this directory.

Later on, Poplog for AMD64 will be merged with 32-bit linux poplog with
a common installation script.

For now this one is packaged separately.

Two 'get and install' scripts are available to simplify the
installation, both available in
http://www.cs.bham.ac.uk/research/projects/poplog/v15.61-amd64

    get-and-install-amd64-poplog

    get-and-install-amd64-poplog-here

The first one fetches the tar file and installation scripts and
installs poplog in /usr/local/poplog64. An 'install.log' file
is created which you can use to report problems.

The second one is similar except that it installs poplog in
the directory in which it is invoked, in a new subdirectory called
'pop'

Many thanks to Waldek Hebisch for making this possible by doing the
original port to 64-bit linux.

Aaron Sloman
9 Jun 2008
http://www.cs.bham.ac.uk/~axs/
[end]