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

NOTE ADDED 21 Apr 2013:

    All the instructions for this version of poplog are now several
    years old, and may no longer work. If you manage to get this system
    to work, please email any revised instructions required to
        Aaron Sloman <a.sloman@cs.bham.ac.uk>

    It may be better to try installing 32 bit  linux libraries and
    running 32 bit poplog, which can now be built on 64-bit linux.
    See
        http://www.cs.bham.ac.uk/research/projects/poplog/latest-poplog/

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

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]