How To Contribute: Difference between revisions
imported>Mathieu m →What are the main community channels?: irc://irc.freenode.net |
imported>Laurent →How do I get current source code?: Put a procedure for retrieving sources from Subversion |
||
| Line 12: | Line 12: | ||
== How do I get current source code? == | == 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 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]. | ||
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. | 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: | ||
* click {{Menu|File>Import...}} | |||
* select {{Menu|SVN>Checkout Projects from SVN}} and click {{Button|Next}} | |||
* tick {{Menu|Create a new repository location}} and click {{Button|Next}} | |||
* in the Url field, enter <tt><nowiki>https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp</nowiki></tt> and click {{Button|Next}} | |||
* after a while, a tree appears. Select folder <tt>trunk/RodinCore/org.rodinp.releng</tt> in the tree and click {{Button|Finish}} | |||
* click {{Menu|File>Import...}} | |||
* select {{Menu|Team>Team Project Set}} and click {{Button|Next}} | |||
* click {{Button|Browse...}} and select file <tt>rodin-core.psf</tt> in project <tt>org.eclipse.releng</tt>, then click {{Button|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 <tt>rodin-tests.psf</tt> 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? == | == How can I access or create Rodin elements like projects, components or proofs? == | ||
Revision as of 12:13, 1 April 2009
What are the main community channels?
Beside the mailing lists, you may want to follow:
- the #rodin channel on irc://irc.freenode.net
- the commit RSS feed on cia.vc,
- one of the sourceforge RSS feed,
- the Main Page of this very site.
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 Eclipse platform and install the Subclipse plug-ins. Then, follow this procedure to fetch the source plug-ins from Subversion:
- click
- select and click
- tick and click
- in the Url field, enter https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp and click
- after a while, a tree appears. Select folder trunk/RodinCore/org.rodinp.releng in the tree and click
- click
- select and click
- click and select file rodin-core.psf in project org.eclipse.releng, then click
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
under the rodin workspace (generally
.
