Rodin Developer Support - Revision history

imported>Tommy at 12:45, 30 July 2015

2015-07-30T12:45:13Z

← Older revision		Revision as of 12:45, 30 July 2015
Line 42:		Line 42:

	== Architecture of the Rodin Platform ==		== Architecture of the Rodin Platform ==

			[[File:Rodin_feature_dependencies_refactor.svg\|800px\|thumb\|right]]

	=== Rodin Platform Core ===		=== Rodin Platform Core ===

imported>Son at 07:44, 24 October 2014

2014-10-24T07:44:52Z

← Older revision		Revision as of 07:44, 24 October 2014
Line 35:		Line 35:
	8. Click "Apply"/"Run" to launch Rodin.		8. Click "Apply"/"Run" to launch Rodin.

			=== 3. Build your plug-in ===
			To start to build your plugin, it is recommended to look at the [[Plug-in Tutorial \| Tutorial]]. Remember to add your plug-in to the "Run Configuration" when Testing/Debugging your plug-in.
	== Rodin Developer FAQ ==		== Rodin Developer FAQ ==

imported>Son at 07:42, 24 October 2014

2014-10-24T07:42:01Z

← Older revision		Revision as of 07:42, 24 October 2014
Line 17:		Line 17:

	=== 2. Launching Rodin from Eclipse ===		=== 2. Launching Rodin from Eclipse ===
	To launch Rodin from within Eclipse, a '''Run Configuration''' is required.		To launch Rodin from within Eclipse, a '''Run Configuration''' is required. This instructions are for those who set up to use Rodin as a Target Platform.

	1. Menu "Run/Run Configurations", to open the "Run Configurations" dialog.		1. Menu "Run/Run Configurations", to open the "Run Configurations" dialog.

imported>Son: /* Setting up Eclipse Workspace */

2014-10-24T07:39:06Z

Setting up Eclipse Workspace

← Older revision		Revision as of 07:39, 24 October 2014
Line 18:		Line 18:
	=== 2. Launching Rodin from Eclipse ===		=== 2. Launching Rodin from Eclipse ===
	To launch Rodin from within Eclipse, a '''Run Configuration''' is required.		To launch Rodin from within Eclipse, a '''Run Configuration''' is required.

	1. Menu "Run/Run Configurations", to open the "Run Configurations" dialog.		1. Menu "Run/Run Configurations", to open the "Run Configurations" dialog.

	2. Double-click on Eclipse Application on the left-hand side, a "New Configuration" is created		2. Double-click on Eclipse Application on the left-hand side, a "New Configuration" is created
	3. In the "Main" tab on the right-hand side, choose the "Location" for the run-time workspace
	4. In the "Main" tab on the right-hand side, for "Run a product" option, choose "org.rodin.platform.product"		3. In the "Main" tab on the right-hand side, change the name of the configuration, e.g., "Rodin 3.0.1"
	5. In the "Plug-ins" tab on the right-hand side, for "Launch with" option, choose "plug-ins selected below only".
	6. In the list of plug-in, unselect all the test plug-ins for Target platform (Use the "tests" for filter the plug-ins and deselect them.		4. In the "Main" tab on the right-hand side, choose the "Location" for the run-time workspace
	7. Click "Apply"/"Run" to launch Rodin.
			5. In the "Main" tab on the right-hand side, for "Run a product" option, choose "org.rodin.platform.product"

			6. In the "Plug-ins" tab on the right-hand side, for "Launch with" option, choose "plug-ins selected below only".

			7. In the list of plug-in, unselect all the test plug-ins for Target platform (Use the "tests" for filter the plug-ins and deselect them.

			8. Click "Apply"/"Run" to launch Rodin.

	== Rodin Developer FAQ ==		== Rodin Developer FAQ ==

imported>Son: /* 1. Building against a version of Rodin */

2014-10-24T07:36:50Z

1. Building against a version of Rodin

@@ Line 15: / Line 15: @@
 [[Developer_FAQ#Installing_the_sources_from_Git_in_Eclipse|
 Installing the sources from Git in Eclipse]] for further instructions.
 == Rodin Developer FAQ ==

imported>Son: /* How to start (step-by-step) */

2014-10-24T07:26:53Z

How to start (step-by-step)

← Older revision		Revision as of 07:26, 24 October 2014
Line 1:		Line 1:
	The Developer Support provides resources for developing plug-ins for the Rodin Platform.		The Developer Support provides resources for developing plug-ins for the Rodin Platform.

	== ~~How to start (step-by-step)~~ ==		== Setting up Eclipse Workspace ==

	=== 1. Building against a version of Rodin ===		=== 1. Building against a version of Rodin ===

imported>Son: /* How to start */

2014-10-24T07:25:44Z

How to start

← Older revision		Revision as of 07:25, 24 October 2014
Line 1:		Line 1:
	The Developer Support provides resources for developing plug-ins for the Rodin Platform.		The Developer Support provides resources for developing plug-ins for the Rodin Platform.

	== How to start ==		== How to start (step-by-step) ==

	=== Building against a version of Rodin ===		=== 1. Building against a version of Rodin ===
	The recommended practice is to work with a target platform, as described in		The recommended practice is to work with a target platform, as described in
	[[Using Rodin as Target Platform]].		[[Using Rodin as Target Platform]].
Line 15:		Line 15:
	[[Developer_FAQ#Installing_the_sources_from_Git_in_Eclipse\|		[[Developer_FAQ#Installing_the_sources_from_Git_in_Eclipse\|
	Installing the sources from Git in Eclipse]] for further instructions.		Installing the sources from Git in Eclipse]] for further instructions.


	== Rodin Developer FAQ ==		== Rodin Developer FAQ ==

imported>Son at 07:25, 24 October 2014

2014-10-24T07:25:15Z

← Older revision		Revision as of 07:25, 24 October 2014
Line 1:		Line 1:
	The Developer Support provides resources for developing plug-ins for the Rodin Platform.		The Developer Support provides resources for developing plug-ins for the Rodin Platform.

			== How to start ==

			=== Building against a version of Rodin ===
			The recommended practice is to work with a target platform, as described in
			[[Using Rodin as Target Platform]].

			Alternatively, one can develop extensions to the Rodin platform against the
			leading edge version of the core plug-ins. This is mandatory when one targets
			a future release of the Rodin platform. We make our best to ensure that the
			HEAD revision is always working, but some glitches can appear
			from time to time. In this case, you will need to check out the Rodin platform
			source code from Git into your workspace. See
			[[Developer_FAQ#Installing_the_sources_from_Git_in_Eclipse\|
			Installing the sources from Git in Eclipse]] for further instructions.

imported>Nicolas: /* Building against a version of Rodin */

2013-05-22T16:36:58Z

Building against a version of Rodin

← Older revision		Revision as of 16:36, 22 May 2013
Line 95:		Line 95:
	leading edge version of the core plug-ins. This is mandatory when one targets		leading edge version of the core plug-ins. This is mandatory when one targets
	a future release of the Rodin platform. We make our best to ensure that the		a future release of the Rodin platform. We make our best to ensure that the
	HEAD revision ~~from Subversion~~ is always working, but some glitches can appear		HEAD revision is always working, but some glitches can appear
	from time to time. In this case, you will need to check out the Rodin platform		from time to time. In this case, you will need to check out the Rodin platform
	source code from ~~Subversion~~ into your workspace ~~using the 'Releng' plug-in~~. See		source code from Git into your workspace. See
	[[Developer_FAQ#~~Installing_the_sources_from_Subversion_in_Eclipse~~\|		[[Developer_FAQ#Installing_the_sources_from_Git_in_Eclipse\|
	Installing the sources from ~~Subversion~~ in Eclipse]] for further instructions.		Installing the sources from Git in Eclipse]] for further instructions.

	=== Testing ===		=== Testing ===

imported>Nicolas: /* Version Control */

2013-05-22T16:28:18Z

Version Control

← Older revision		Revision as of 16:28, 22 May 2013
Line 84:		Line 84:
	=== Version Control ===		=== Version Control ===

	All sources of the core Rodin platform (and of some plug-ins) are managed under version control in SourceForge. The repository currently used is ~~Subversion~~ and can be accessed using ~~URL [https~~://~~rodin-b-sharp~~.~~svn~~.~~sourceforge~~.net/~~svnroot~~/rodin-b-sharp ~~https:~~//~~rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp].~~		All sources of the core Rodin platform (and of some plug-ins) are managed under version control in SourceForge. The repository currently used is Git and can be accessed using URI
			<nowiki>git://git.code.sf.net/p/rodin-b-sharp/rodincore</nowiki>

	=== Building against a version of Rodin ===		=== Building against a version of Rodin ===