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 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 -- 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 -- 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-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 NO LONGER NEEDED 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 linux-pc-1553d.tar.gz Previously referred to as linuxmotif1553a.tar.gz newc_dec.tar.gz pophtmlprimer.tar.gz poplog.info.html userguide.html vedmail.tar.gz mklinks.afs run_install ======================================================================= -- INSTRUCTIONS FOR INSTALLATION OF POPLOG ON LINUX: OVERVIEW 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 the script: 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]