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: 17 Feb 2003


CONTENTS

 -- FILES IN LINUX POPLOG DIRECTORY
 -- -- Core program and documentation files
 -- -- Optional extra files
 -- INSTRUCTIONS FOR INSTALLATION OF POPLOG ON LINUX: OVERVIEW
 -- PRELIMINARY STEP 1: Install termcap if necessary.
 -- 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

-- 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 benn made clear enough
    and have been followed all the files listed below will be in the
    directory /usr/local/poplog/src


-- -- 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 (unless you decide
        to use poplog without motif).

    INSTALL-FROM-CD.txt
    INSTALL-FROM-WEB-FILES.txt
    INSTALL-FINAL.txt
    INSTALL-OPTIONS.txt
        These contain instructions to be followed after you have
        completed the preliminary steps described below.

    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

    Suse-Readme.txt
        Information for anyone planning to install Poplog on a SuSe
        linux system. Poplog requires the termcap library to be
        pre-installed and this file tells you how to do that.

    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/

-- -- 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
    ctwm-window-manager.tar.gz
    contrib.tar.gz
    install_package
    master.tar.gz
    neural.tar.gz
    openmotif-2.1.30-8.i386.rpm
    popvision.tar.gz
    vedgn.tar.gz

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

Additional files are included in the linux-poplog.tar.gz file
    INSTALL_LIKE_BHAM
    INSTALL_MOTIF_POPLOG
    INSTALL_NOMOTIF
    bham.tar.gz
    checkout.txt
    comp.lang.pop.faq.html
    emacs.tar.gz
    freepoplog.html
    install_package
    linuxmotif1553a.tar.gz
    newc_dec.tar.gz
    pophtmlprimer.tar.gz
    poplog.info.html
    userguide.html
    vedmail.tar.gz
    mklinks.afs
    run_install

These are explained in the file: AREADME.install.txt


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

-- INSTRUCTIONS FOR INSTALLATION OF POPLOG ON LINUX: OVERVIEW

There are PRELIMINARY STEPS to be taken before installing poplog:

    1. Check whether you need to install the termcap library.
    2. Check whether you need to install motif
    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.

=======================================================================
-- PRELIMINARY STEP 1: Install termcap if necessary.
    (May be necessary for SuSe users.)

Poplog uses termcap for terminal control. Termcap is is
regarded as obsolete and therefore not included by default on some linux
systems. If your system does not have it poplog will complain about not
being able to find termcap when you first attempt to test it. If that
happens you'll have to get a version of termcap for your system and
install it, after following these instructions:

    Check whether this file exists:

        /lib/libtermcap.so.2

    I.e. give this shell command:

        ls -l /lib/libtermcap.so.2*

    IF /lib/libtermcap.so.2 DOES NOT EXIST but this one does
        /lib/libtermcap.so.2.0.8
    or something like it

        THEN DO (as super user):

            ln -s /lib/libtermcap.so.2.0.8 /lib/libtermcap.so.2

    IF NEITHER FILE EXISTS then read the file
        http://www.cs.bham.ac.uk/research/poplog/linux-cd/Suse-Readme.txt
    and follow instructions.


=======================================================================
-- 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, and
of not 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 40 to 50 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-30 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, though 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 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 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 have enough space on /usr/local

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 partion 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

Suppose you decide to put the system on a different disc partition from
your standard /usr/local/ partition. This is what you do.

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 -p /home/poplog/src

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 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/

After you have done all that, the standard instructions and shell
scripts referring to /usr/local/poplog will work as if you really had
created /usr/local/poplog

=======================================================================
-- 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 20 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 behave as if you had got the file off the
    CD and follw 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 provded 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


ATER 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 and various other systems, including SuSe
and Mandrake.

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.


Motif is normally required, but if you do not have it or do not wish to
install it you have the option to re-link poplog to run without it, as
explained above.

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

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]