[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Oct 30 11:55:10 2003 
Subject:Re: New poplog with bug in Pop-11/Poplog back-end compiler fixed (PS) 
From:Aaron Sloman 
Volume-ID:1031030.01 

Correction to new system, alas.

I wrote, last night:

> If anyone would like to install the whole poplog system with the
> compiler fix already included, along with the Birmingham extensions,
> this file is available for downloading:
>
>     http://www.cs.bham.ac.uk/research/poplog/bham-linux-poplog.tar.gz
>         It's about 21 Mbytes.
>
> After untarring it you'll find two scripts available for installing,
>     INSTALL_EVERYTHING_WITH_MOTIF
>     INSTALL_EVERYTHING_WITHOUT_MOTIF
>
> as described in the file
>     SHORT-CUT-INSTALLATION.txt
>
> Each of the scripts can be run with an argument giving an installation
> directory. If omitted it defaults to /usr/local/poplog, as before.

Unfortunately I forgot to include the previously announced fixes for
ved/XVed key bindings in this version (comes of time-sharing this
with too many other things).

Anyhow, I have now rebuilt the tar file with the fixes. If anyone has
already downloaded it since my previous posting, but does not wish to
get all 21 Mbytes again, then

1. If you have not yet installed the new version, and have a fast
internet connection, the easiest thing is to fetch this file

    http://www.cs.bham.ac.uk/research/poplog/new/linux-poplog.tar.gz
        (about 13 mbytes)

and replace the file with the same name in the linux-poplog
subdirectory, after untarring the big file. Then continue with
installation as instructed.

(or re-install over the previous installation).

If you have already installed the new system, and just want to insert
the new stuff for Ved/Xved then get this small file:

    http://www.cs.bham.ac.uk/research/poplog/src/new/newved.tar.gz
        33243 bytes Jul 27 18:03

And do the following to insert in the poplog installation:

    cd $usepop/pop

untar the file:

    tar xfz ......./newved.tar.gz

then run commands to rebuild saved images. E.g. to rebuild the
system saved images do

    cd $popcom
    ./mkstartup
    ./mkxved
    ./mkplog
    ./mkclisp
    ./mkpml

If you have Birmingham local libraries you can do this:

    # remove or move old version of vedxtermkeys.p
    mv $poplocal/local/auto/vedxtermkeys.p /tmp

    cd $poplocal/local/com

    ./mkstartup.local
    ./mkxved.local
    ./mkplog.local
    ./mkclisp.local
    ./mkpml.local

To make the dumb terminal Ved work properly in an Xterm window
copy the relevant portion of the new file HELP Xdefaults
(17 lines) into your .Xdefaults, then do this

    xrdb .Xdefaults

and then start a new xterm window in which to run Ved.

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

Thanks to Steve Isard for checking out my earlier changes. I had
some correspondence with him suggesting more things to add to
the default keybindings, but have not yet done that.

Aaron
====
Aaron Sloman, ( http://www.cs.bham.ac.uk/~axs/ )
School of Computer Science, The University of Birmingham, B15 2TT, UK
EMAIL A.Sloman AT cs.bham.ac.uk   (ReadATas@please !)
PAPERS: http://www.cs.bham.ac.uk/research/cogaff/ (And free book on Philosophy of AI)
FREE TOOLS: http://www.cs.bham.ac.uk/research/poplog/freepoplog.html