Difference between revisions of "How To Contribute"

From Event-B
Jump to navigationJump to search
imported>Laurent
imported>Wohuai
Line 15: Line 15:
 
You may get the whole [[Rodin Platform]] and most of associated [[Rodin Plug-ins]] from Subversion on SourceForge using URL [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp  https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp].
 
You may get the whole [[Rodin Platform]] and most of associated [[Rodin Plug-ins]] from Subversion on SourceForge using URL [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp  https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp].
  
To compile the core platform from sources fetched from Subversion, download the latest stable Eclipse platform and install the [http://subclipse.tigris.org/ Subclipse] plug-ins. Then, follow this procedure to fetch the source plug-ins from Subversion:
+
To compile the core platform from sources fetched from Subversion, download the latest stable version of Eclipse Classic and install the [http://subclipse.tigris.org/ Subclipse] plug-ins. Then, follow this procedure to fetch the source plug-ins from Subversion:
 
* click {{Menu|File>Import...}}
 
* click {{Menu|File>Import...}}
 
* select {{Menu|SVN>Checkout Projects from SVN}} and click {{Button|Next}}
 
* select {{Menu|SVN>Checkout Projects from SVN}} and click {{Button|Next}}

Revision as of 08:36, 4 June 2009


What are the main community channels?

Beside the mailing lists, you may want to follow:

The Village Pump may also be useful for everything which is more or less wiki related.

How do I get current source code?

You may get the whole Rodin Platform and most of associated Rodin Plug-ins from Subversion on SourceForge using URL https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp.

To compile the core platform from sources fetched from Subversion, download the latest stable version of Eclipse Classic and install the Subclipse plug-ins. Then, follow this procedure to fetch the source plug-ins from Subversion:

  • click File>Import...
  • select SVN>Checkout Projects from SVN and click Next
  • tick Create a new repository location and click Next
  • in the Url field, enter https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp and click Next
  • after a while, a tree appears. Select folder trunk/RodinCore/org.rodinp.releng in the tree and click Finish
  • click File>Import...
  • select Team>Team Project Set and click Next
  • click Browse... and select file rodin-core.psf in project org.eclipse.releng, then click Finish

After a long while (around a quarter of an hour), all projects of the core Rodin platform have been retrieved from Subversion into your workspace.

You can retrieve the test plug-ins of the core platform in a similar way by repeating the last three steps but selecting file rodin-tests.psf instead.

Note: The repository was formerly CVS which is still available read-only. It is not possible to commit to the CVS repository anymore. More information is available in the Switch from CVS to Subversion page.

How can I access or create Rodin elements like projects, components or proofs?

Getting Started may give you some useful directions.

How do I propose a patch?

You may find useful directions and good practises in the page describing how to submit patches.

How do I report a bug or a feature request?

You may use sourceforge bug and feature tracker. Please verify that your bug has not already been reported before submitting it.

You may want to submit a partial or full log which you can find in the following file

.metadata/.log

under the rodin workspace (generally

runtime-Rodin.product/

).