Using Rodin as Target Platform - Revision history

imported>Son: /* Configuring a Target Platform */

2014-10-24T05:58:39Z

Configuring a Target Platform

← Older revision		Revision as of 05:58, 24 October 2014
Line 8:		Line 8:
	== Configuring a Target Platform ==		== Configuring a Target Platform ==

	Since Rodin 3.0, a software site is provided for each release, the archive is named {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}} in the[http://sourceforge.net/projects/rodin-b-sharp/ SourceForge repository].		Since Rodin 3.0, a software site is provided for each release, the archive is named {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}} in the [http://sourceforge.net/projects/rodin-b-sharp/ SourceForge repository].
	It contains the full Rodin platform along with sources.		It contains the full Rodin platform along with sources.

imported>Son: /* Configuring a Target Platform */

2014-10-24T05:22:12Z

Configuring a Target Platform

← Older revision		Revision as of 05:22, 24 October 2014
Line 8:		Line 8:
	== Configuring a Target Platform ==		== Configuring a Target Platform ==

	Since Rodin 3.0, a software site is provided for each release, the archive is named {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}} in the SourceForge repository.		Since Rodin 3.0, a software site is provided for each release, the archive is named {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}} in the[http://sourceforge.net/projects/rodin-b-sharp/ SourceForge repository].
	It contains the full Rodin platform along with sources.		It contains the full Rodin platform along with sources.

Line 23:		Line 23:
	Click {{button\|Archive...}} and browse to the location of the {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}}.		Click {{button\|Archive...}} and browse to the location of the {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}}.
	Click {{button\|OK}} then {{button\|Finish}}.		Click {{button\|OK}} then {{button\|Finish}}.



	== For Rodin 2.x ==		== For Rodin 2.x ==

imported>Nicolas at 18:22, 17 March 2014

2014-03-17T18:22:11Z

← Older revision		Revision as of 18:22, 17 March 2014
Line 7:		Line 7:

	== Configuring a Target Platform ==		== Configuring a Target Platform ==

			Since Rodin 3.0, a software site is provided for each release, the archive is named {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}} in the SourceForge repository.
			It contains the full Rodin platform along with sources.

			=== Definition of the Target Platform ===

			In Eclipse, open the Preferences pop-up window by clicking {{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in the tree, and click {{Button\|Add...}}.

			In the Target Definition window that pops up, select {{radio\|Nothing: Start with an empty target definition}}, then click {{button\|Next >}}.

			Enter a name for your target platform, for instance {{file\|Rodin 3.0}}. Then, click the {{button\|Add...}} button of the {{Menu\|Locations}} tab.

			In the {{Menu\|Add content}} window that pops up, select {{menu\|Software Site}}, then click {{button\|Next >}}.
			In the new page, titled {{menu\|Add Software Site}}, click {{button\|Add...}}, enter a name, like {{file\|Rodin 3.0}}.
			Click {{button\|Archive...}} and browse to the location of the {{file\|org.rodinp.dev-X.Y.Z-<git-commit>.zip}}.
			Click {{button\|OK}} then {{button\|Finish}}.



			== For Rodin 2.x ==

			Releases prior to Rodin 3.0 provided a slightly different way of configuring a target platform.

	=== Preparation ===		=== Preparation ===

imported>Nicolas: Removed mention about SVN

2013-05-22T14:44:47Z

Removed mention about SVN

← Older revision		Revision as of 14:44, 22 May 2013
Line 1:		Line 1:
	When developing plug-ins for Rodin, it is somewhat cumbersome to have to		When developing plug-ins for Rodin, it is somewhat cumbersome to have to
	download all sources from the ~~SVN~~ repository, or to import them in the		download all sources from the repository, or to import them in the
	workspace somehow, just to be able to read them. Using a target platform is a		workspace somehow, just to be able to read them. Using a target platform is a
	convenient alternative. Moreover, this alternative allows to validate one's		convenient alternative. Moreover, this alternative allows to validate one's

imported>Laurent: Add missing link

2013-01-09T15:20:17Z

Add missing link

← Older revision		Revision as of 15:20, 9 January 2013
Line 10:		Line 10:
	=== Preparation ===		=== Preparation ===

	To configure a Rodin release as a target platform, first download two files from SourceForge:		To configure a Rodin release as a target platform, first download two files from [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/ SourceForge]:
	* {{file\|rodin-VERSION-dev.zip}}: contains the Rodin platform together with its sources,		* {{file\|rodin-VERSION-dev.zip}}: contains the Rodin platform together with its sources,
	* {{file\|rodin-VERSION-repo.zip}}: a p2 repository of the full Rodin platform.		* {{file\|rodin-VERSION-repo.zip}}: a p2 repository of the full Rodin platform.

imported>Laurent: /* Definition of the Target Platform */

2012-12-16T16:35:38Z

Definition of the Target Platform

← Older revision		Revision as of 16:35, 16 December 2012
Line 18:		Line 18:
	=== Definition of the Target Platform ===		=== Definition of the Target Platform ===

	Then, in Eclipse, open the Preferences pop-up window by clicking {{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in the tree, and ~~click :~~ click {{Button\|Add...}}.		Then, in Eclipse, open the Preferences pop-up window by clicking {{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in the tree, and click {{Button\|Add...}}.

	In the Target Definition window that pops up, select {{radio\|Nothing: Start with an empty target definition}}, then click {{button\|Next >}}.		In the Target Definition window that pops up, select {{radio\|Nothing: Start with an empty target definition}}, then click {{button\|Next >}}.
Line 30:		Line 30:
	In the {{Menu\|Add content}} window that pops up, select {{menu\|Software Site}} this time, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Software Site}}, click {{button\|Add...}}.		In the {{Menu\|Add content}} window that pops up, select {{menu\|Software Site}} this time, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Software Site}}, click {{button\|Add...}}.

	In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}} and select the repository file you have downloaded (e.g., {{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back to the {{Menu\|Add Software Site}} window. There, untick the {{button\|Group by Category}} checkbox, select {{Menu\|~~Event-B Modeling Environment~~}} in the list and click {{button\|Finish}} twice.		In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}} and select the repository file you have downloaded (e.g., {{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back to the {{Menu\|Add Software Site}} window. There, untick the {{button\|Group by Category}} checkbox, select {{Menu\|Rodin Platform}} in the list and click {{button\|Finish}} twice.

	Back to the {{Menu\|Preferences}} window, select the Rodin platform you have just added to activate it and click {{button\|OK}}.		Back to the {{Menu\|Preferences}} window, select the Rodin platform you have just added to activate it and click {{button\|OK}}.

imported>Laurent: /* Definition of the Target Platform */ Add sources

2012-12-16T11:50:07Z

Definition of the Target Platform: Add sources

← Older revision		Revision as of 11:50, 16 December 2012
Line 18:		Line 18:
	=== Definition of the Target Platform ===		=== Definition of the Target Platform ===

	Then, in Eclipse, open the Preferences pop-up window by clicking		Then, in Eclipse, open the Preferences pop-up window by clicking {{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in the tree, and click : click {{Button\|Add...}}.
	{{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in
	the tree, and click : click {{Button\|Add...}}.

	In the Target Definition window that pops up, select {{radio\|Nothing: Start		In the Target Definition window that pops up, select {{radio\|Nothing: Start with an empty target definition}}, then click {{button\|Next >}}.
	with an empty target definition}}, then click {{button\|Next >}}.

	Enter a name for your target platform, for instance {{file\|Rodin 2.7}}.		Enter a name for your target platform, for instance {{file\|Rodin 2.7}}. Then, click the {{button\|Add...}} button of the {{Menu\|Locations}} tab.
	Then, click the {{button\|Add...}} button of the {{Menu\|Locations}} tab.

	In the {{Menu\|Add content}} window that pops up, select {{menu\|~~Software~~		In the {{Menu\|Add content}} window that pops up, select {{menu\|Directory}}, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Directory}}, enter the location of the directory where you unpacked the {{file\|rodin-VERSION-dev.zip}} and click {{button\|Finish}}.
	~~Site~~}}, then click {{button\|Next >}}. In the new page, titled {{menu\|Add
	~~Software Site~~}}, click {{button\|~~Add...~~}}.

	~~In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}}~~		Back to the {{menu\|Target Content}} window, click {{button\|Add…}} again.
	~~and select the repository file you have downloaded (e.g.,~~
	~~{{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back~~ to the
	{{~~Menu~~\|~~Add Software Site~~}} window~~. There~~, ~~untick the {{button\|Group by~~
	~~Category}} checkbox, select {{Menu\|Event-B Modeling Environment}} in the list~~
	~~and~~ click {{button\|~~Finish~~}} ~~twice~~.

	Back to the {{Menu\|Preferences}} window, select the Rodin platform you have		In the {{Menu\|Add content}} window that pops up, select {{menu\|Software Site}} this time, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Software Site}}, click {{button\|Add...}}.
	just added to activate it and click {{button\|OK}}.
			In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}} and select the repository file you have downloaded (e.g., {{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back to the {{Menu\|Add Software Site}} window. There, untick the {{button\|Group by Category}} checkbox, select {{Menu\|Event-B Modeling Environment}} in the list and click {{button\|Finish}} twice.

			Back to the {{Menu\|Preferences}} window, select the Rodin platform you have just added to activate it and click {{button\|OK}}.

			'''Important:''' It is essential to build the target platform in the order given above, otherwise links to source files do not work correctly in Eclipse.

	=== Complement to the Target Platform ===		=== Complement to the Target Platform ===

imported>Laurent: /* File to Download */ Put back sources.

2012-12-16T11:40:26Z

File to Download: Put back sources.

← Older revision		Revision as of 11:40, 16 December 2012
Line 8:		Line 8:
	== Configuring a Target Platform ==		== Configuring a Target Platform ==

	=== ~~File to Download~~ ===		=== Preparation ===

	To configure a Rodin release as a target platform, ~~you must~~ first download a p2 repository of the Rodin platform. ~~It can be downloaded from SourceForge and~~ is ~~named~~ {{file\|~~rodin-VERSION-~~repo~~.zip~~}}.		To configure a Rodin release as a target platform, first download two files from SourceForge:
			* {{file\|rodin-VERSION-dev.zip}}: contains the Rodin platform together with its sources,
			* {{file\|rodin-VERSION-repo.zip}}: a p2 repository of the full Rodin platform.

			Then, unpack the {{file\|dev}} file somewhere on your hard disk. There is no need to unpack the {{file\|repo}} file anywhere, as Eclipse can process it directly.

	=== Definition of the Target Platform ===		=== Definition of the Target Platform ===

imported>Laurent: /* Definition of the Target Platform */

2012-12-15T14:38:24Z

Definition of the Target Platform

imported>Laurent: /* File to Download */

2012-12-15T14:36:45Z

File to Download

← Older revision		Revision as of 14:36, 15 December 2012
Line 10:		Line 10:
	=== File to Download ===		=== File to Download ===

	To configure a Rodin release as a target platform, you must first download a		To configure a Rodin release as a target platform, you must first download a p2 repository of the Rodin platform. It can be downloaded from SourceForge and is named {{file\|rodin-VERSION-repo.zip}}.
	p2 repository of the Rodin platform. It can be downloaded from SourceForge and is named {{file\|rodin-VERSION-repo.zip}}.

	=== Definition of the Target Platform ===		=== Definition of the Target Platform ===

← Older revision		Revision as of 16:35, 16 December 2012
Line 18:		Line 18:
	=== Definition of the Target Platform ===		=== Definition of the Target Platform ===

	Then, in Eclipse, open the Preferences pop-up window by clicking {{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in the tree, and ~~click :~~ click {{Button\|Add...}}.		Then, in Eclipse, open the Preferences pop-up window by clicking {{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in the tree, and click {{Button\|Add...}}.

	In the Target Definition window that pops up, select {{radio\|Nothing: Start with an empty target definition}}, then click {{button\|Next >}}.		In the Target Definition window that pops up, select {{radio\|Nothing: Start with an empty target definition}}, then click {{button\|Next >}}.
Line 30:		Line 30:
	In the {{Menu\|Add content}} window that pops up, select {{menu\|Software Site}} this time, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Software Site}}, click {{button\|Add...}}.		In the {{Menu\|Add content}} window that pops up, select {{menu\|Software Site}} this time, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Software Site}}, click {{button\|Add...}}.

	In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}} and select the repository file you have downloaded (e.g., {{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back to the {{Menu\|Add Software Site}} window. There, untick the {{button\|Group by Category}} checkbox, select {{Menu\|~~Event-B Modeling Environment~~}} in the list and click {{button\|Finish}} twice.		In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}} and select the repository file you have downloaded (e.g., {{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back to the {{Menu\|Add Software Site}} window. There, untick the {{button\|Group by Category}} checkbox, select {{Menu\|Rodin Platform}} in the list and click {{button\|Finish}} twice.

	Back to the {{Menu\|Preferences}} window, select the Rodin platform you have just added to activate it and click {{button\|OK}}.		Back to the {{Menu\|Preferences}} window, select the Rodin platform you have just added to activate it and click {{button\|OK}}.

← Older revision		Revision as of 11:50, 16 December 2012
Line 18:		Line 18:
	=== Definition of the Target Platform ===		=== Definition of the Target Platform ===

	Then, in Eclipse, open the Preferences pop-up window by clicking		Then, in Eclipse, open the Preferences pop-up window by clicking {{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in the tree, and click : click {{Button\|Add...}}.
	{{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in
	the tree, and click : click {{Button\|Add...}}.

	In the Target Definition window that pops up, select {{radio\|Nothing: Start		In the Target Definition window that pops up, select {{radio\|Nothing: Start with an empty target definition}}, then click {{button\|Next >}}.
	with an empty target definition}}, then click {{button\|Next >}}.

	Enter a name for your target platform, for instance {{file\|Rodin 2.7}}.		Enter a name for your target platform, for instance {{file\|Rodin 2.7}}. Then, click the {{button\|Add...}} button of the {{Menu\|Locations}} tab.
	Then, click the {{button\|Add...}} button of the {{Menu\|Locations}} tab.

	In the {{Menu\|Add content}} window that pops up, select {{menu\|~~Software~~		In the {{Menu\|Add content}} window that pops up, select {{menu\|Directory}}, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Directory}}, enter the location of the directory where you unpacked the {{file\|rodin-VERSION-dev.zip}} and click {{button\|Finish}}.
	~~Site~~}}, then click {{button\|Next >}}. In the new page, titled {{menu\|Add
	~~Software Site~~}}, click {{button\|~~Add...~~}}.

	~~In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}}~~		Back to the {{menu\|Target Content}} window, click {{button\|Add…}} again.
	~~and select the repository file you have downloaded (e.g.,~~
	~~{{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back~~ to the
	{{~~Menu~~\|~~Add Software Site~~}} window~~. There~~, ~~untick the {{button\|Group by~~
	~~Category}} checkbox, select {{Menu\|Event-B Modeling Environment}} in the list~~
	~~and~~ click {{button\|~~Finish~~}} ~~twice~~.

	Back to the {{Menu\|Preferences}} window, select the Rodin platform you have		In the {{Menu\|Add content}} window that pops up, select {{menu\|Software Site}} this time, then click {{button\|Next >}}. In the new page, titled {{menu\|Add Software Site}}, click {{button\|Add...}}.
	just added to activate it and click {{button\|OK}}.
			In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}} and select the repository file you have downloaded (e.g., {{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back to the {{Menu\|Add Software Site}} window. There, untick the {{button\|Group by Category}} checkbox, select {{Menu\|Event-B Modeling Environment}} in the list and click {{button\|Finish}} twice.

			Back to the {{Menu\|Preferences}} window, select the Rodin platform you have just added to activate it and click {{button\|OK}}.

			'''Important:''' It is essential to build the target platform in the order given above, otherwise links to source files do not work correctly in Eclipse.

	=== Complement to the Target Platform ===		=== Complement to the Target Platform ===

← Older revision		Revision as of 14:38, 15 December 2012
Line 15:		Line 15:

	Then, in Eclipse, open the Preferences pop-up window by clicking		Then, in Eclipse, open the Preferences pop-up window by clicking
	{{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform} in		{{Menu\|Window>Preferences}}. Then, select {{Menu\|Plug-in Development>Target Platform}} in
	the tree, and click : click {{Button\|Add...}}.		the tree, and click : click {{Button\|Add...}}.

	In the Target Definition window that pops up, select {{radio\|Nothing: Start		In the Target Definition window that pops up, select {{radio\|Nothing: Start
	with an empty target definition}, then click {{button\|Next >}}.		with an empty target definition}}, then click {{button\|Next >}}.

	Enter a name for your target platform, for instance {{file\|Rodin 2.7}}.		Enter a name for your target platform, for instance {{file\|Rodin 2.7}}.
Line 28:		Line 28:
	Software Site}}, click {{button\|Add...}}.		Software Site}}, click {{button\|Add...}}.

	In the {{Menu\|Add Repository}} window that pops up, click {{button\|~~Archive...~~}		In the {{Menu\|Add Repository}} window that pops up, click {{button\|Archive…}}
	and select the repository file you have downloaded (e.g.,		and select the repository file you have downloaded (e.g.,
	{{file\|~~rodin~~-2.7-repo.zip}} and click {{button\|OK} until you are back to the		{{file\|Rodin-2.7-repo.zip}} and click {{button\|OK}} until you are back to the
	{{Menu\|Add Software Site}} window. There, untick the {{button\|Group by		{{Menu\|Add Software Site}} window. There, untick the {{button\|Group by
	Category}} checkbox, select {{Menu\|Event-B Modeling Environment}} in the list		Category}} checkbox, select {{Menu\|Event-B Modeling Environment}} in the list