http://www.cs.bham.ac.uk/research/poplog/linux-cd/AREADME.txt
$local/ftp/linux-cd/AREADME.txt

PC LINUX POPLOG INSTALLATION INSTRUCTIONS (BIRMINGHAM CONFIGURATION)
Aaron Sloman
Updated 16 Jan 2005
    Pointed out that most of this file is redundant for most people.
    Use the SHORT-CUT-INSTALLATION.txt file instead.

Updated 23 Dec 2004
    Removed ctwm and motif packages. Later versions can easily be
    found on the internet.

Updated 30 Nov 2004
    Referring to the pre-installation checking script
    CHECK_LINUX_FACILITIES

Updated: 6 Apr 2004
    Changed Step 1 to refer to X libraries

Updated: 15 Mar 2004
    Termcap section no longer needed

Updated: 2 Nov 2003
####It is now possible to specify a installation directory.
####See the SHORT-CUTS section

CONTENTS

 -- NOTE: THIS FILE IS REDUNDANT FOR MOST PEOPLE
 -- FILES IN LINUX POPLOG DIRECTORY
 -- -- Core program and documentation files
 -- -- Optional extra files
 -- INSTRUCTIONS FOR INSTALLATION OF POPLOG ON LINUX: OVERVIEW
 -- File space required for Poplog
 -- SHORT-CUT SCRIPTS
 -- PRELIMINARY STEP 1: Check the X window system libraries
 -- PRELIMINARY STEP 2: Install motif if necessary.
 -- PRELIMINARY STEP 3: Save any previous version of Poplog
 -- -- Step 3.a: Save old Poplog
 -- -- Step 3.b: Restore the poplog/local directory
 -- -- Step 3.c. Optional: Create tar file backup of your local directory
 -- PRELIMINARY STEP 4: Decide where poplog should go
 -- -- STEP 4.a. Check if there is enough space on /usr/local partition
 -- -- STEP 4.b. Find free space on other partitions
 -- -- Step 4.c (Optional) SETTING UP A NEW LOCATION FOR POPLOG
 -- INSTALLING POPLOG AFTER PRELIMINARY STEPS 1 to 4.
 -- -- A: installing from the CD
 -- -- B: installing from tar file made for the cd
 -- -- C: installing from files selected from the linux-cd/ directory.
 -- NOTE: Do not forgot to make backup copies
 -- How to run poplog, after installation

-- NOTE: THIS FILE IS REDUNDANT FOR MOST PEOPLE

The easiest way to install poplog is described in this file

    SHORT-CUT-INSTALLATION.txt

available from
    http://www.cs.bham.ac.uk/research/poplog/linux-cd/SHORT-CUT-INSTALLATION.txt

The rest of this file provides information for the curios. Most of it
preceded the existence of effective installation scripts.

-- FILES IN LINUX POPLOG DIRECTORY

This file is located in the directory
    http://www.cs.bham.ac.uk/research/poplog/linux-cd

There are several other files in the same directory.

All the files are included in the Poplog CD at
    http://www.cs.bham.ac.uk/research/poplog/bham-linux-poplog.tar.gz

    After installation, if instructions have been made clear enough
    and have been followed all the files listed below will be in the
    directory in which you untar that file, which the examples below
    assume will be
        /usr/local/poplog/src

    However, you can put them anywhere.


-- -- Core program and documentation files

    AREADME.txt
        The file you are now reading, which includes several preliminary
        steps to precede installation of linux poplog.

    AREADME.motifcheck.txt
        This file is referred to below, in one of the preliminary steps.

        It gives information on how to check whether motif is installed,
        and if not how to fetch and install it. Even if motif is
        installed on your system, the version may be incompatible with
        that used for linking poplog.

        In that case poplog will have to be relinked. This is now done
        automatically by installation scripts. If that does not work you
        may have to try using poplog without motif: a few things will
        not work as well -- e.g. the XVed editor windows will then not
        have menu buttons or scrollbars, as they use motif facilities.

        Instructions for installing without motif are included below.

    CHECK_LINUX_FACILITIES
        An executable shell script that can tell whether you can link
        poplog on your system and whether the required X window system
        libraries are present. In some cases it can fix things.

    INSTALL-FROM-WEB-FILES.txt
    INSTALL-FINAL.txt
    INSTALL-OPTIONS.txt
        These contain detailed instructions that can now be ignored by
        most users as the work is done by thhe installation scripts
        listed in SHORT-CUT-INSTALLATION.txt


    COPYRIGHT.html
        Poplog copyright information. Sussex University has given
        permission for poplog and all its sources to be made freely
        available, without restriction of use. Some files are provided
        by the University of Birmingham on a similar basis.

    linuxstuff.html
        Overview for people browsing this file on the web.
        Partly duplicates this file.
        Available online
        here:
            http://www.cs.bham.ac.uk/research/poplog/linux-cd/linuxstuff.html

    linux-poplog.tar.gz
        (about 12 Mbytes)
        (Not to be confused with poplog/bham-linux-poplog.tar.gz )

        Linux poplog packaged with additional files used to install
        linux poplog configured in the same way as at the University of
        Birmingham, in the School of Computer Science, including
        additional libraries and documentation, and revised teaching
        materials.
        This includes automatic installation scripts.

        Instructions for installation are below.

The above files provide the minimum required to install PC linux poplog.

    relinking.linux.poplog
        A shell script that may be useful if you cannot get Poplog to
        work at all and you have to re-build the basic executable files.

        If you have a version of linux for which poplog will not work,
        e.g. If you type in the main poplog directory
            $popsys
        (e.g. in /usr/local/poplog/v15.53a/pop/pop)
        the following commands
            ./basepop11
            ./corepop11

        and you get an error, then first try installing motif, as
        described below.

        If it still does not work you may need to try relinking poplog.
        First follow the instructions below to install all the poplog
        files.
        See also
            http://www.cs.bham.ac.uk/research/poplog/sysdoc/
            http://www.cs.bham.ac.uk/research/poplog/tools/

    SHORT-CUT-INSTALLATION.txt
        Described below

-- -- Optional extra files

Additional smaller files are available as optional extras, some of them
included in the linux-poplog.tar.gz file.

Files not included in the linux-poplog.tar.gz file, but included in the
bham-linux-poplog.tar.gz file, and also downloadable from here
    http://www.cs.bham.ac.uk/research/poplog/linux-cd/
namely:

    newkit.tar.gz
    brait.tar.gz
    simworld.tar.gz
    contrib.tar.gz
    install_package
    master.tar.gz
    neural.tar.gz
    popvision.tar.gz
    vedgn.tar.gz

These are explained in the linuxstuff.html file, mentioned above.

Note: the following files are out of date and have been removed:
    ctwm-window-manager.tar.gz
    openmotif-2.1.30-8.i386.rpm

Additional files are included in the linux-poplog.tar.gz file
    SETUPDIRS (No longer needed. Done by INSTALL_POPLOG)
    INSTALL_LIKE_BHAM
    INSTALL_POPLOG
    INSTALL_EVERYTHING_WITHOUT_MOTIF
    INSTALL_EVERYTHING_WITH_MOTIF
    HOW-RUN-POPLOG.txt
    bham.tar.gz
    checkout.txt
    comp.lang.pop.faq.html
    emacs.tar.gz
    freepoplog.html
    install_package
    pophtmlprimer.tar.gz
    poplog.info.html
    userguide.html
    vedmail.tar.gz
    mklinks.afs
    run_install


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

-- INSTRUCTIONS FOR INSTALLATION OF POPLOG ON LINUX: OVERVIEW

You may read these instructions if you do not wish to follow the default
installation procedure by running the scripts described in

    SHORT-CUT-INSTALLATION.txt

Read on if you prefer to do everything by hand.

There are PRELIMINARY STEPS to be taken before installing poplog:

    1. Check for termcap: NO LONGER NEEDED
    2. Check whether you need to install motif
        Now handled by a the file CHECK_LINUX_FACILITIES
    3. If you previously had a version of poplog running,
        save it before installing the new one.
    4. Make sure you have enough space in /usr/local and if
        not make a symbolic link, as described in Step 4.

These steps are described below

Remaining instructions are in other files mentioned below.

-- File space required for Poplog

The PC+Linux version of the core poplog system will take up under 55 Mb
(less if you have a Sun Fileserver, because of the variable block sizes
on suns!)

The 'extras' from the Birmingham distribution will take up
between 30 and 50 Mbytes, depending what you install.
If you ensure about 100 Mb is available for the final system,
that should be fine.

You may find you don't need some of the saved images and other parts of
the system and can delete them later -- e.g. if you don't need Prolog,
or Lisp or ML.

In addition, the bham-linux-poplog.tar.gz tar file takes about 22 Mbytes
and when unpacked, prior to installation of poplog requires about a
further 33 Mb (which you can delete after installation).


-- SHORT-CUT SCRIPTS

Two scripts are provided if you know whether you do or do not have
motif.

To find out how to run the short-cut scripts see the file

    SHORT-CUT-INSTALLATION.txt


If the pre-installation checking script

    CHECK_LINUX_FACILITIES

reports readiness for poplog, and one of the two short-cut installation
scripts (one with and one without motif) installs everything
successfully, you can probably ignore the rest of this file.

However the file HOW-RUN-POPLOG.txt should be read.

=======================================================================
-- PRELIMINARY STEP 1: Check the X window system libraries

This step can now done by running the script:

    CHECK_LINUX_FACILITIES

Check that your X libraries have been installed with .so extensions
This is usually done if you choose the 'develoment' option when
you install the X window system at the time when you install linux,
or when you update X.

You will have to become root (superuser) to do this.

Go to the directory that includes the X window libraries, usually
/usr/X11R6/lib

    cd /usr/X11R6/lib

try each of these

    ls libX11.so
    ls libXext.so
    ls libXt.so

If all three files exist, you should be able to install poplog without
Motif. The next step mentions requirements for using Motif.

If one or more of the files does not exist, but a version does
exist with extra suffixes you can check that using 'ls'.

E.g., if libX11.so does not exist do

        ls libX11.so*

You may then find that you have it with version numbers

    libX11.so.6  libX11.so.6.2

In that case all you have to do is create a symbolic link to the latest
version:

    ln -s libX11.so.6.2 libX11.so

Then you will have a usable version of libX11.so.

If necessary, do the same for  libXext.so libXt.so

If you don't have those files, even with the later versions, then you do
not have a fully installed version of the X window system, and you will
have to ask an expert for help getting it installed. The latest
version of X can be downloaded from www.xfree86.org

The latest version of the X window system for which I know Poplog works
is version 4.4. But it may work for later versions.

NOTE:
Step 1 previously required a check for termcap, but linux poplog is now
built for linux without requiring termcap.
    This previously caused problems for SuSe, Mandrake, and some
        other distributions.


=======================================================================
-- PRELIMINARY STEP 2: Install motif if necessary.

Check that your system has motif installed, and if not install it, or
install poplog and then follow instructions to disable motif facilities
in Poplog.

If you disable motif in poplog that will mean that some useful
facilities of poplog are not available, though they are not essential,
e.g. scroll bars and menu buttons on the editor XVed.

If you decide to install poplog without motif, skip the rest of this
section. (I.e. Go to PRELIMINARY STEP 3).

To find out whether motif has been installed on your linux system,
you can run this script mentioned above:

    CHECK_LINUX_FACILITIES

If motif is not installed and you wish to find out how to get it, read
this file which should be in the same directory as the file you are now
reading:

    AREADME.motifcheck.txt

    Also available at
        http://www.cs.bham.ac.uk/research/poplog/linux-cd/AREADME.motifcheck.txt


=======================================================================
-- PRELIMINARY STEP 3: Save any previous version of Poplog

If you did not have a previous version of Poplog skip to STEP 4, below.

-- -- Step 3.a: Save old Poplog

If you had a previous version of poplog in
    /usr/local/poplog/

you can save it by renaming that directory:

    mv /usr/local/poplog /usr/local/poplog.old

If the installation of the new version fails for any reason, you can
always restore that version.

-- -- Step 3.b: Restore the poplog/local directory

You will probably want to keep your local extensions to the main poplog
system. If so you can create a poplog directory and move back the local
directory

    ### create poplog directory
    mkdir /usr/local/poplog

    ### Move the local directory back to where it was
    mv /usr/local/poplog.old/local /usr/local/poplog

-- -- Step 3.c. Optional: Create tar file backup of your local directory

If you want to keep a "safe" copy of the old local directory, you
can use tar and save it thus:

    cd /usr/local/poplog
    tar cfz /usr/local/poplog.old/local.tar.gz local

That command should work on all linux systems. In case you have a
version of tar that does not recognize the "z" to mean "compress"
you can do it in two steps
    tar cf /usr/local/poplog.old/local.tar local
    gzip /usr/local/poplog.old/local.tar

Then check it
    ls -l /usr/local/poplog.old/local.tar.gz
The size of the file will depend on how big your local directory was.

You may wish to copy the file to a CD or zip file to ensure that you
have a backup version if your hard drive fails.

NOTE for experts:
You can normally install a new version of poplog on top of an old
version (i.e. just run the tar commands below). That will replace
old versions of files with new versions, and leave any extras in place.
However occasionally that can cause problems with local files shadowing
new versions of poplog files.

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

-- PRELIMINARY STEP 4: Decide where poplog should go

If you had  previously installed poplog and are now installing a new
system you can ignore this section, unless your believe poplog may
be in a disk partition that is running short of space. This will
tell you how to install in a new location.

The main poplog system will take up about 50 to 60 Mbytes of file space
(including large amounts of documentation, libraries, Pop-11, Ved,
Prolog, Common Lisp and Standard ML.)

The extensions provided at Birmingham can take 20-40 Mbytes or more,
depending how many libraries you fetch and install and how many saved
images you decide to build for rapid start-up.

In addition, the compressed files you download or copy from the CD
in order to install Poplog may take 30-40 Mbytes or more after they
have been unpacked. However the files used for installation can be
deleted when the installation is complete. (It may be worth saving
them on a backup device.)

Taking all the above into account try to choose a partition on which to
install Poplog in which you have at least 200Mbytes spare, to allow for
growth. (If you are going to use it to install other things in addition
to Poplog, you may need a lot more spare file space than that.)

-- -- STEP 4.a. Check if there is enough space on /usr/local partition

    df -k /usr/local

This may print out something like

Filesystem           1k-blocks      Used Available Use% Mounted on
/dev/hda5             12096724   4112388   7369852  36% /usr

though with different numbers. In that example, the partition has
over 7000 MBytes of spare space. If the number under "Available"
is less than about 200000, then you have less than 200Mbytes free,
and it may be wise to install poplog in another place.

If you have enough space on /usr/local then you can do

    mkdir -p /usr/local/poplog/src

and skip to the end of this section.

-- -- STEP 4.b. Find free space on other partitions
Ignore this step if you decide to install poplog in the default
location, namely on /usr/local/poplog

This shows you how to choose another location. Having chosen another
location for installation you can use the second method described above
in the SHORT-CUT section for installation.

The command

    df -k

will show ou all your partitions and how much space you have left
in them.

E.g. you may have a partition with a name such as /dev/hda7 which is
mounted as /home which has a lot of spare space available.

If in doubt, try installing in the default location /usr/local/poplog

If you run out of space during the installation you can remove the
poplog compressed files (downloaded or supplied on CD) by doing this:

        rm -rf /usr/local/poplog/src/*

Then you can do it in a different partition.

-- -- Step 4.c (Optional) SETTING UP A NEW LOCATION FOR POPLOG

Ignore this step if you have enough space on /usr/local, and you do not
wish to use a non-default location for poplog.

Suppose you decide to put the system on a different disc partition from
your standard /usr/local/ partition. You have two choices

    a. Make /usr/local/poplog a symbolic link to the poplog installation
       directory, in which case you can just let the installation
       scripts use their defaults.

    b. Run the 'INSTALL_EVERYTHING...' installation script with a
       parameter giving the path name of the directory for installing poplog.

First you need to select the partition and create the directory you want
poplog to go into. E.g. if you have plenty of spare space in /home, then
you can create the appropriate directory thus (for which you will have
to be super-user):

            mkdir /home/poplog/

then, as super-user, link that directory to /usr/local

            ln -s /home/poplog /usr/local/poplog

This will make
        /usr/local/poplog

a symbolic link to
        /home/poplog

Thus, after installation in /home/poplog, the system will behave as if
you had put poplog in

    /usr/local/poplog

even though you have not taken up any space in the /usr/local
disk partition, apart from the tiny space required for the link.

Likewise, the system will treat the directory
    /usr/local/poplog/src/

as effectively the same as
    /usr/home/poplog/src/

which you can, if you wish, use to store the installation files.

After you have done all that, the installation instructions and startup
shell scripts for users, which refer to /usr/local/poplog will work as
if you really had created /usr/local/poplog

However, you do not need to set up the symbolic link from
/usr/local/poplog (e.g. if you cannot run as root on your machine).

In that case, since 2nd November 2003 the installation scripts give you
the option to specify a directory in a location where you do have write
access. The appropriate sub-directories will then be created by the
installation scripts. See the 'SHORT-CUT' section above.

=======================================================================
-- INSTALLING POPLOG AFTER PRELIMINARY STEPS 1 to 4.

(First make sure you have been through preliminary steps 1 to 4
described above.)

The remaining instructions require use of the file
    linux-poplog.tar.gz

available in three ways:

(a) directly available online as
    http://www.cs.bham.ac.uk/research/poplog/linux-cd/linux-poplog.tar.gz

    OR via ftp:
    ftp://ftp.cs.bham.ac.uk/pub/dist/poplog/linux-cd/linux-poplog.tar.gz

(b) included on the Birmingham CD

(c) Included in this package used to make the CD
    http://www.cs.bham.ac.uk/research/poplog/bham-linux-poplog.tar.gz

    OR via ftp:
    ftp://ftp.cs.bham.ac.uk/pub/dist/poplog/bham-linux-poplog.tar.gz


There are other files, providing optional extra poplog-based facilities,
available on the line in the directory
    http://www.cs.bham.ac.uk/research/poplog/linux-cd/

also included on the Birmingham CD and also included in the large tar
file mentioned above.: bham-linux-poplog.tar.gz

Information about those optional extras is available in this file:

    http://www.cs.bham.ac.uk/research/poplog/linux-cd/linuxstuff.html
    (also included in the CD)

When you are ready, and have the appropriate instruction files, there
are three options for installation:

-- -- A: installing from the CD
        Follow the instructions in this file
            INSTALL-FROM-CD.txt

-- -- B: installing from tar file made for the cd
    Fetch the file (about 21 Mbytes), available at

        http://www.cs.bham.ac.uk/research/poplog/bham-linux-poplog.tar.gz

    OR via ftp:
        ftp://ftp.cs.bham.ac.uk/pub/dist/poplog/bham-linux-poplog.tar.gz

    If you fetch this you can continue as if you had got the file off
    the CD and follow instructions in the file
            INSTALL-FROM-CD.txt


-- -- C: installing from files selected from the linux-cd/ directory.

Browse this directory in your web browser:
    http://www.cs.bham.ac.uk/research/poplog/linux-cd/

It includes all the files provided in the CD and the
bham-linux-poplog.tar.gz file.

Follow the instructions in these files
    AREADME.txt
        (the file you are reading now)

Then the file
    INSTALL-FROM-WEB-FILES.txt

Available at
    http://www.cs.bham.ac.uk/research/poplog/linux-cd/INSTALL-FROM-WEB-FILES.txt


AFTER INSTALLING BE SURE TO BACK UP YOUR POPLOG DIRECTORY SO THAT
YOU WILL NOT LOSE IT ALL IF YOUR HARD DRIVE FAILS

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

-- NOTE: Do not forgot to make backup copies

The poplog linux+PC poplog system has been tested on Redhat Linux
versions 7.1, 7.2, 7.3, 8.0, 9.0
and various other systems, including SuSe and Mandrake.

HOWEVER, THE INSTALLATION SCRIPTS HAVE BEEN TESTED ONLY ON VERSIONS OF
REDHAT LINUX, AND MAY NEED TO BE EDITED FOR OTHER SYSTEMS.

Everything should work on other linux, debian, and freebsd systems
running on intel or equivalent machines (e.g. PC with AMD athlon).

However you may find some variations in directory layout and there may
be distributions Linux (e.g. Mandrake apparently) that need some minor
modifications to these instructions. If you encounter problems please
post them to the comp.lang.pop news group or send email to

    pop-forum AT cs.bham.ac.uk

If possible please describe any remedial actions you found useful to
overcome the problems.

At the time of writing poplog (November 2003) poplog has not been
ported to the 64 bit Intel architecture (Itanium). However if support
for 32 bit backward compatibility works on the AMD 64 bit architecture,
then poplog should work. I don't know of anyone who has tried this.

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

-- How to run poplog, after installation

See the file
    HOW-RUN-POPLOG.txt

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

Please report any problems with this installation package to

A.Sloman AT cs.bham.ac.uk

Post general queries about poplog, pop-11, or the poplog languages, to
the comp.lang.pop newsgroup.
[end]