THIS VERSION OF POPLOG HAS NOW BEEN SUPERSEDED
For information about the latest version please see
http://www.cs.bham.ac.uk/research/projects/poplog/freepoplog.html
If that does not work because you have an older version of Linux you can then try V15.6

This is part of The Free Poplog Web Site

INSTRUCTIONS FOR INSTALLING LINUX POPLOG VERSION 15.6

NOTE: those problems are solved in newer versions of Poplog.
Use this version (v15.6) only as a last resort.

You will need to download, make executable, and run this file to check that you have an installation on which poplog can run:
http://www.cs.bham.ac.uk/research/poplog/v15.6/CHECK_LINUX_FACILITIES
After downloading do

      chmod 755 CHECK_LINUX_FACILITIES
      ./CHECK_LINUX_FACILITIES

Fetch the main poplog tar bundle (about 18 Mbytes): http://www.cs.bham.ac.uk/research/poplog/bham-linux-poplog-v15.6.tar.gz

Fetch this 5Kbyte 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 specified: http://www.cs.bham.ac.uk/research/poplog/v15.6/INSTALL_BHAM_LINUX_POPLOG

Further details regarding installation are in the AREADME.txt file.

Users of Debian/Ubuntu-based distributions should follow the instructions in STEP 0 in that file, namely:
Use this command to ensure that you have all the required system libraries.

• apt-get install build-essential gcc motif3 csh
  (or try lesstif if you can't find motif3)

This file maintained in Lynx-friendly format by:
Aaron Sloman
http://www.cs.bham.ac.uk/~axs/
Last Updated: 12 Apr 2007; 12 Aug 2010