Installing external plug-ins manually - Revision history

imported>Mathieu: Robot: Changing Category:User Documentation

2008-09-10T20:28:23Z

Robot: Changing Category:User Documentation

← Older revision		Revision as of 20:28, 10 September 2008
Line 71:		Line 71:
	platform.		platform.

			[[Category:User documentation]]
	[[Category:User ~~Documentation~~]]		[[Category:Rodin Platform]]
	[[Category:Rodin Platform]]
	[[Category:Plugin]]		[[Category:Plugin]]

imported>Mathieu at 20:00, 10 September 2008

2008-09-10T20:00:44Z

← Older revision		Revision as of 20:00, 10 September 2008
Line 73:		Line 73:

	[[Category:User Documentation]]		[[Category:User Documentation]]
			[[Category:Rodin Platform]]
	[[Category:Plugin]]		[[Category:Plugin]]

imported>Mathieu: {{TOCright}}

2008-09-10T19:58:36Z

← Older revision		Revision as of 19:58, 10 September 2008
Line 1:		Line 1:
			{{TOCright}}
	Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always be practical. In this case, a manner to install these plug-ins is to emulate either manually or using ad-hoc scripts the operations normally performed by the Update Manager.		Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always be practical. In this case, a manner to install these plug-ins is to emulate either manually or using ad-hoc scripts the operations normally performed by the Update Manager.

imported>Mathieu: Categories

2008-07-05T07:57:34Z

imported>Laurent at 13:15, 1 July 2008

2008-07-01T13:15:20Z

@@ Line 3: / Line 3: @@
 This manual installation of plug-ins is described below, using the example of the B4free provers.
-== Finding the Update Site ===
+== Finding the Update Site ==
-The first thing to do is to find the update site from which the plug-ins are downloaded by the Rodin platform.  For the default sites, one can find their list in file <tt>feature.xml</tt> in the <tt>org.eventb.ide</tt> feature. In a regular installation, this file has path <tt>features/org.eventb.ide_0.8.2/feature.xml</tt> relative to the root of the installation tree.
+The first thing to do is to find the update site from which the plug-ins are downloaded by the Rodin platform.  A list of default update sites is available in file <tt>feature.xml</tt> of the <tt>org.eventb.ide</tt> feature. In a regular installation, this file has the following path relative to the root of the installation tree:
 From the URL given in this file, download the corresponding <tt>site.xml</tt> file that describes the available features from the corresponding site. For instance, for the B4free provers, the URL in the <tt>feature.xml</tt> file is
@@ Line 13: / Line 17: @@
 At the time of writing, this file contains:
-<nowiki>
+<pre><nowiki>
     <?xml version="1.0" encoding="UTF-8"?>
     <site>
@@ Line 22: / Line 26: @@
 	       arch="ppc,x86"/>
     </site>
-</nowiki>
+</nowiki></pre>

imported>Laurent at 12:56, 1 July 2008

2008-07-01T12:56:43Z

@@ Line 5: / Line 5: @@
 == Finding the Update Site ===
-The first thing to do is to find the update site from which the plug-ins are downloaded by the Rodin platform.  For the default site, one can find their list in file
+The first thing to do is to find the update site from which the plug-ins are downloaded by the Rodin platform.  For the default sites, one can find their list in file <tt>feature.xml</tt> in the <tt>org.eventb.ide</tt> feature. In a regular installation, this file has path <tt>features/org.eventb.ide_0.8.2/feature.xml</tt> relative to the root of the installation tree.
-}}}
+From the URL given in this file, download the corresponding <tt>site.xml</tt> file that describes the available features from the corresponding site. For instance, for the B4free provers, the URL in the <tt>feature.xml</tt> file is

imported>Laurent: New page: Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always be practical. In this case, a manner to in...

2008-06-13T13:53:22Z

New page: Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always be practical. In this case, a manner to in...

New page

Although it is preferred to install additional plug-ins into the Rodin platform using the '''Update Manager''' of Eclipse, this might not always be practical. In this case, a manner to install these plug-ins is to emulate either manually or using ad-hoc scripts the operations normally performed by the Update Manager.

This manual installation of plug-ins is described below, using the example of the B4free provers.

== Finding the Update Site ===

The first thing to do is to find the update site from which the plug-ins are downloaded by the Rodin platform. For the default site, one can find their list in file
{{{

}}}

← Older revision		Revision as of 07:57, 5 July 2008
Line 69:		Line 69:
	menubar. The manually installed plug-ins should now be available in the Rodin		menubar. The manually installed plug-ins should now be available in the Rodin
	platform.		platform.


			[[Category:User Documentation]]
			[[Category:Plugin]]