7 Sep 2012: This file is out of date
Superseded by http://www.cs.bham.ac.uk/research/projects/poplog/latest-poplog/#ubuntu

Use the above link to get the latest poplog, using a simpler mechanism than the one described below.

The information below may still be of interest to Ubuntu users, so it is left unchanged.

Previous Guide to Installing Poplog on Ubuntu Edgy

Thanks to: David Brooks

Installing Poplog on Ubuntu Edgy

This is based on a subset of the information in David Brooks'
Guide to installing Poplog on Ubuntu Edgy. For which many thanks!


  1. Installing dependencies
  2. Installing Poplog
  3. Running Pop-11
  4. Useful scripts
  5. Useful Ubuntu/linux/Poplog links

This HOWTO makes a number of assumptions:

  • You have already installed Ubuntu Edgy Eft
  • You have an internet connection
    (make sure your proxies are correct for your system, your browser, and synaptic)
  • You have "sudo" system administrator priviledges (you can modify the system)
  • You have updated your system to install the latest versions of all your packages
    (this is important: the automatic package installer interferes with Synaptic)

1: Installing dependencies [top]

Before you install Poplog, you must first install a number of packages that are required by Poplog (its "dependencies"). In particular, you must install the Motif graphics libraries to support Poplog graphics capabilities, including xved.

1.1: Setting the correct repositories

First, you must start Synaptic, the Ubuntu package manager [picture]:
        System > Administration > Synaptic Package Manager
Second, you must enable the "universe" and "multiverse" respositories. These are servers on the internet containing Ubuntu packages that you can install. Inside synaptic, select [picture]:
        Settings > Repositories
This will open a dialog. On the "Ubuntu 6.10" tab, there should be five checkboxes. Ensure that all five are checked, which should involve checking the boxes [picture]:
  • Community maintained Open Source software (universe)
  • Software resttricted by copyright or legal issues (multiverse)
You should now have all the appropriate repositories set up, so click "ok", and return to the main synaptic window. Here, click the "Reload" button. The system should pop-up a dialog showing the activity of synaptic as it downloads a new repository index.

1.2: Installing dependency packages

Once synaptic has refreshed its package list, you should see a large number of packages available to download in the top-right pane of the synaptic window. These packages are listed by name: you can scroll through the list or click in the list and type the name of the package you wish to find. Each package can be in a number of states, shown by the contents of the box to the left of its name: a green box indicates it is installed; an empty box indicates it is not installed; an arrow indicates it is scheduled to be installed. [picture]

You will need to install the following packages:

  • gcc
  • build-essential
  • csh
  • libxext6
  • libxext-dev
  • libx11-6
  • libx11-dev
  • libxt-6
  • libxt-dev
  • libmotif3
  • libmotif-dev
On many Ubuntu installations, "gcc" may already be installed. Select each package by right-clicking on the package name, and choose "Mark for installation" from the context-menu. The package should then have an arrowed-box next to its name.

Once all packages are marked for installation, you should click the "Apply" button in the main synaptic window, which will begin the procedure of downloading and installing your packages.

NOTE: You can do all of the above from a terminal if your repositories are correctly configured, using this command:

    sudo apt-get install gcc build-essential csh  \
         libxext6 libxext-dev libx11-6 libx11-dev libxt-6 libxt-dev \
         libmotif3 libmotif-dev <return>

2: Installing Poplog [top]

See the information in http://www.cs.bham.ac.uk/research/projects/poplog/freepoplog.html

You will need to make use of an xterm or other terminal window in which you can type commands. See: [picture]

3: Running Pop-11 [top]

Now that you have installed Poplog, you probably want to run XVed or pop11.
To run Xved use the command in a terminal window.
    poplog xved <return>
Optionally, you can specify a file name as an argument.

To run the Pop-11 compiler, use the command

    poplog pop11 filename.p <return>
replacing filename.p with the name of your Pop-11 file.
This will compile all the code and exit, but will not create a compiled file.
So if you want to use the program it should end with some commands to do something.

4: Useful scripts [top]

You may also want to create short-cut scripts for running the parts of Poplog that you use regularly. If you would like something similar, you should first create a "bin" directory to contain your personal executable files (binaries):
    cd <return>
    mkdir bin <return>
The first of these lines moves you into your home directory; the second creates a subdirectory called "bin".

You should then create script files for the applications you want to shortcut. I have the following script for launching xved saved as a file called "xved" in my "bin/" directory (copy text into appropriate file and save):

    # !/usr/bin/bash
    /usr/local/bin/poplog xved $@
This just runs the "poplog xved" command to launch xved. To run this file you simply need to type "xved" at a command prompt. You can pass in a parameter that is the file to load.

You should then create script files for the applications you want to shortcut. I have a second script for compiling a given Pop-11 file, saved as a file called "pop11" in my "bin/" directory:

    # !/usr/bin/bash
    /usr/local/bin/poplog pop11 $@
This just runs the "poplog pop11" command to start the Pop-11 compiler. You should pass in the name of the file you want to compile as a parameter.

5: Useful Ubuntu/linux/Poplog links [top]

Check the right-hand column of this page for a number of useful links to websites for Poplog, Ubuntu and linux users.


Some Poplog links:

Useful Ubuntu links: