The PEPA Plug-in Project
How to download and install the PEPA Plug-in Project
The graphical user interface is deployed as an Eclipse feature. You must have installed
the Eclipse IDE already. If you don't have Eclipse, visit
the Eclipse downloads page and download
the distribution that suits you best. The instructions
refer to Eclipse IDE for Java Developers.
The PEPA Plug-in Project is known to work with Eclipse 3.3 (Europa), 3.4 (Ganymede),
and 3.5 (Galileo). It has been built against Java 1.5 and, with certain known issues
surrounding SWT on OS X, is compatible with Windows, Linux (specifically
tested against Fedora Core 6) and OS X 10.4 and 10.5
Note for Leopard users (10.5): There does not currently exist a
64-bit version of SWT. Therefore, you cannot use Java 1.6 with Eclipse
if you are using 10.5 on an Intel machine.
Installation on Eclipse Galileo
- Select Help > Install New Software.
The wizard dialogue box that pops up will assist you
through the installation process.
- Follow the link Available Software Sites. Make sure that
the update sites listed in the following figure are listed and enabled.
Notice that GEF (http://download.eclipse.org/tools/gef/updates/releases/)
and the PEPA update site (http://groups.inf.ed.ac.uk/pepa/update/)
need to be added manually
Note for Ganymede users (Eclipse 3.4):
The interface of the Update Manager is slightly different. It may be
accessed from Help > Software Updates..., and the
update sites are added in the Available Software tab.
- In the installation wizard, select the Eclipse PEPA Plugin.
- Click Next and accept the terms of the licence agreement before clicking on Finish.
- Once installation is complete Eclipse will strongly recommend you to restart the system.
Now you are ready to use the plug-in.