TWiki> PG Web>PGEclipseBuildRunRelease (revision 3)EditAttach

Notes on installation/packaging for PG Eclipse

These are some notes about the packaging mechanisms for Proof General in Eclipse.

The notes assume you have checked out the project from source CVS according to PGEclipseInstall

Simply running it

Here is the easiest way to run in the runtime workbench (i.e. a second copy of Eclipse with the PG plugin installed):

  1. open plugin.xml by double clicking it
  2. click on Launch application or Launch Debug.

Debug mode connects back to the main Eclipse instance and allows crafty dynamic updates of installed classes in the runtime instance.

Run configurations

  • The button above uses a default run configuration. You can define others by:

    1. Choose Run/Debug from Run menu
    2. Select application: org.eclipse.ui.ide.workbench
    3. Make sure that ed.inf.proofgeneral plugin is included

Packaging products

See Eclipse help for guidance.

A "product" is a standalone application which includes as much of the Eclipse platform as is needed. This is the main way we want to distribute Eclipse Proof General: it's the simplest for users because they only need to download one thing. At the start, we suppose that most users are not already using Eclipse.


Edit | Attach | Print version | History: r5 < r4 < r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r3 - 27 Sep 2006 - 20:06:32 - DavidAspinall
Main.PGEclipsePackaging moved from Main.PGEclipseInstallNotes on 27 Sep 2006 - 19:29 by DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies