For information on Poplog see
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 EMAIL: "email@example.com"
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.
Two changes to popvision, described in $usepop/pop/packages/popvision/README.bham popvision/lib/Xcolour_to_rgb.p added directory '/usr/share/X11/rgb.txt' to Xcolour_to_rgb_filelist popvision/lib/sunrasterfile.p Installed Jack Hollingworth's fix for updater of sunrasterfile for use on little-endian machines.
New version is now Version 15.62-amd64 This version makes it unnecessary to use 'setarch', thanks to new code by Waldek Hebisch For more detailed changes see http://www.cs.bham.ac.uk/research/projects/poplog/v15.62-amd64/CHANGES.txt 31st March 2008 A problem in the editor that made it produce multiple copies of the same file (especially output.p) has been identified and removed.
Expanded the instructions for Ubuntu users, which turned out to be incomplete. Also modified several of the Poplog scripts to invoke 'bash' instead of 'sh', as it turns out that these two are not equivalent on all systems. (Ubuntu Gutsy links 'sh' to 'dash', not 'bash')
Added simple pop-11 syntax highlighting command for VED, in $usepop/pop/lib/ved/ved_highlight.p The command ENTER highlight will underline all syntax words, apart from those included in the list assigned to global variable highlight_exceptions To see what the exceptions are do ENTER showlib highlight_exceptions Undo highlighting with ENTER strip
New version of Poplog v15.61 available, with pop_internal_version set to: 156101 [Remainder removed. Out of date.]
There is a file that gives an overview of what happens when the poplog installation script is run. It is available as http://www.cs.bham.ac.uk/research/projects/poplog/latest-poplog/INSTALLATION-OVERVIEW.txt
NOTE: this is a 64 bit version of Poplog
For the 32 bit version see: http://www.cs.bham.ac.uk/research/projects/poplog/latest-poplog
UBUNTU/DEBIAN USERS (Copy of instructions for 32 bit Poplog)
These instructions for 32 bit Ubuntu may have to be modified for 64 bit Ubuntu. If you are using that and can suggest improvements to the wording here, please email A.Sloman@cs.bham.ac.uk
Ubuntu users (and other Debian users e.g. Xandros(Not yet tested)) should make sure that they have these packages installed before installing poplog:gcc build-essential csh libxext6 libxext-dev libx11-6 libx11-dev libxt-6 libxt-dev libmotif3 libmotif-devThe last two are desirable but optional, as explained below.
You can install those packages either using the synaptic package manager, or more simply by using 'apt-get' with this command in an xterm or console window (if you don't wish to type everything in one line you can use the backslash character "\" to indicate that lines must be joined in a single command, as illustrated here):sudo apt-get install gcc build-essential tcsh \ libxext6 libxext-dev libx11-6 libx11-dev libxt-6 libxt-dev \ libmotif3 libmotif-devHowever, that command will not work until you have extended the set of package repositories. Run the package manager by going to the 'System menu'. Select 'Administration' then 'Synaptic package manager' -- for which you will have to type your password. Then when the package manager starts up, select 'Settings' then 'Repositories'. Click in all the boxes for packages downloadable from the internet, except for the source packages. After that you should be able to download all the packages.
The instructions for setting up the extra package repositories and for selecting packages to download are illustrated graphically in David Brooks' web site for 32-bit Poplog users (though some of the required packages need to be added to his list.) See his web page here:
Make sure that you install everything listed above.
After installing those 'X' libraries the following should exist as symbolic links:/usr/lib/libX11.so /usr/lib/libXt.so /usr/lib/libXext.so /usr/lib/libXm.soor possibly, for 64bit Linux/usr/lib64/libX11.so /usr/lib64/libXt.so /usr/lib64/libXext.so /usr/lib64/libXm.so
NOTE: Other versions of linux (e.g. RHEL, CentOS, Fedora Core, ...)
People using other versions of linux should check that they have the gcc libraries, csh/tcsh and both ofeither motif motif-devel or lesstif lesstif-develE.g. you should be able to install one of those pairs using 'yum' in RedHat/Fedora systems (or possibly modified versions for 64 bit):yum install motif motif-devel or yum install lesstif lesstif-develMake sure that you have the 'devel' packages for the X11 libraries installed. Otherwise the link commands in the poplog installation scripts will fail. E.g. you could use the following, in addition to the commands for installing motif (or lesstif):yum install libX11-devel libXt-devel libXext-devel
(Automatically done if you use one of the "get-and-install" scripts described below.)
Download, make executable, and run this file to check that you have an installation on which poplog can be installed:
After downloading it do this to make it executable, then run it:chmod 755 CHECK_LINUX_FACILITIES_64bit ./CHECK_LINUX_FACILITIES_64bitNOTE: The following is no longer true, as making symbolic links is not an adequate substitute for installing the 'devel' or 'dev' packages:If you run it as super user (using sudo on Ubuntu) it may also create directories and links that you will need. Otherwise, it merely reports what it finds.
NOTE: use of 'csh'
Many linux systems now do not provide /bin/csh. Some older poplog scripts may still use that, although an attempt is being made to remove dependency on 'csh', so that everything will work with 'bash', which should be available on all linux systems.
If /bin/csh does not exist on your system, but /bin/tcsh does exist, you can simply, as super-user, create a symbolic link, thus:cd /bin ln -s tcsh cshOtherwise try to find and install csh for your system (or tcsh, which is a later, but wholly compatible, version of csh). Ubuntu users, please see instructions above.
NOTE: use of motif/lesstif
The graphical facilities in Poplog are all based on the X window system (sometimes also called X11), described here http://en.wikipedia.org/wiki/X_Window_System
This has the great advantage of supporting remote use of graphical tools: the tools can run on a machine in one location while users are using a machine connected to it by a network. This is now commonplace using web browsers, but the X window system, based on Unix, had the idea long before there were web browsers. Poplog provides a wide range of 2-D graphical facilities based on X. There are some library packages that extend the X facilities and one of those is the 'motif' widget toolkit, which is used by many tools that run on linux and unix. It is described here. A royalty free version is OpenMotif described here. Some unix distributors object to licence conditions of both Motif and OpenMotif and have switched to using an open source non-proprietary replacement called Lesstif, described here. Lesstif is almost fully compatible with Motif, but not quite, and this has caused minor problems for poplog, now fixed.
You don't need any of Motif, OpenMotif or Lesstif to use Poplog graphical facilities. In particular the RCLIB graphical extension to Poplog, described here, was designed to work without Motif.
However there are some advantages in the use of Poplog with motif, insofar as the graphical version of the editor, XVed, has menu buttons and a scrollbar if Motif or Lesstif is available, and there is a Poplog_ui toolkit based on Motif, which some users find helpful. So if you can get hold of Motif or Lesstif, that is recommended. You will also need the 'devel' versions, as described below in order to be able to run Poplog with Motif extensions.
When you have a choice you should install Motif rather than Lesstif as the former is less likely to cause problems.
If you cannot or do not wish to install Motif or Lesstif, you can run the poplog install script with the 'nomotif' option. However, the simplified get-and-install scripts described below use 'motif'. It is trivial to edit them to replace that with 'nomotif' before running them.
There are two small shell scripts available. Choose one of them, after reading about what they do, save it to a directory where you have space to copy at least 20MB files required to install poplog. Make it executable, as described below, then run it. You can decide whether you want poplog installed in the default location /usr/local/poplog, or somewhere else. It will need to go into a partition where there is about 85MB of free space. (You may not need all of it: some of the installation can be deleted if you don't need it, e.g. the portions for prolog, common lisp, ML, vision libraries, etc.
Decide which of those two you wish to use, then download it and put it in a directory on a file partition where you have enough file space. You will need about 19MB for the downloaded shell scripts and the Poplog tar file. In addition you will need about 95MB either in the /usr/local partition or in the partition where you run the 'get-and-install-here' script.
- get-and-install-v15.62-amd64-poplogThis will fetch installation scripts and the poplog v15.62-amd64 tar file, and install the system in the default location /usr/local/poplog64
This will also attempt to set up links for poplog in /usr/local/bin and /usr/local/man, so you will need either to have access to those directories or else run the script as super-user
- get-and-install-v15.62-amd64-poplog-hereThis will fetch installation scripts and the poplog V15.62-amd64 tar file, and install the system in a subdirectory of the current directory, called v15.62-amd64/pop/
It does not attempt to install links in /usr/local directories (though you can do that later).
Make the chosen script executable after downloading it. e.g. using one of these two 'chmod' commands:chmod ugo+rx get-and-install-v15.62-amd64-poplog chmod ugo+rx get-and-install-v15.62-amd64-poplog-hereYou may wish to check the script and, if you are a linux expert, change something before running it.
It uses the 'wget' command to fetch the files. If you are using it behind a web proxy server, you will have to set the appropriate environment variable ($http_proxy) to allow 'wget' to get through the server, e.g. something like this (for bash users):http_proxy=http://webcache.foo.baz.ac.uk:3128 export http_proxy
Run the script in an xterm window or other console window.
The time it takes will depend largely on how long it takes you to download the main tar file (less than 19MB) and how long your PC takes to run the installation script. On fairly new PCs the installation could take less than a minute. On older PCs at most a few minutes.
Both scripts produce a log file called v15.62-amd64/install.log which can be used to provide information if you have problems.
If the installation triggers linker or other errors they will not go into the log file, but will be displayed on the screen. You'll have to select and paste the messages to include in any report.
For more information on what those scripts do, please see the description for 32bit v15.62 Poplog here.
Wherever that mentions v15.62, read v15.62-amd64 to obtain and install the 64 bit version of poplog.
For information about getting help from users see http://www.cs.bham.ac.uk/research/projects/poplog/comp.lang.pop.faq.html
Additional information about the installation can be found in http://www.cs.bham.ac.uk/research/poplog/v15.62-amd64/AREADME.txt
NB: If you use Ubuntu or Debian please see instructions on packages you may need to install before you can use poplog here and in Step 0 of this file AREADME.txt
The script that unpacks and installs that tar file is
If the get-and-install scripts do not work, fetch that 5KByte text file and install it in the same directory as the tar bundle above, then make it executable and run it twice, the first time to discover the options, the second time with the options you want specified.
OUT OF DATE INSTRUCTIONS (MAY STILL BE USEFUL FOR SOME users)
Users of Debian/Ubuntu-based distributions may find these instructions useful, though they may need to be modified for 64-bit Ubuntu.
Use this command to ensure that you have all the required system libraries.
(The next step may no longer be necessary if your version of Ubuntu uses X.org rather than XFree86) Make motif accessible where debian seems to need X11 libraries:
- apt-get install build-essential gcc motif3 csh
(or try lesstif if you can't find motif3)
Then fetch the Poplog tar package and scripts as described above.
- cd /usr/lib
- ln -s /usr/X11R6/libXm.so* .
This file maintained in Lynx-friendly format by:
Last Updated: 4 Dec 2008