AnimB install: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older edit
imported>Mathieu
m →‎Install AnimB: Category User Documentation / Plugin
imported>Christophe
No edit summary
 
(8 intermediate revisions by 2 users not shown)
Line 1: Line 1:
Generally speaking, AnimB is installed and updated from within Rodin.
Generally speaking, AnimB is installed and updated from within Rodin.


There is two  ways of installing AnimB:
* for the first one (advised), you need to be connected on internet
* for the second one (troubles with proxy or firewall, ...), you download the update site and install from local.
==Begin the installation==
Begin the installation from the Rodin Help menu item :
Begin the installation from the Rodin Help menu item :
*Help
*Help
*Software Updates
*Install New Software...
*Find and Install...
 
[[Image:step1.png|600px|center]]<br>
Then select the AnimB update site  
----
[[Image:Step1.png|300px|center]]<br>
Select the option for new feature.<br>
[[Image:step2.png|400px|center]]
==Adding the AnimB update site==
This screen will vary depending on the features you have installed already. <br>
Click on the "New Remote Site..." button. <br>
If you are behind a proxy and the Eclipse install mechanism does not work, then you can [http://www.animb.org/updatesite/AnimB.zip download] an Archived Site and then click the "New Archived Site..." button instead.
[[Image:step6.png|500px|center]]<br>
===Remote site===
Fill in the "New Update Site" dialog with the following information and click OK.
[[Image:Step7.png|300px|center]]
===Archived Site===
First download the [http://www.animb.org/updatesite/AnimB.zip archived site] and save it on local.<br>
Then click on "New Archived Site..."<br>
Selected the downloaded file and click on open.
[[Image:step8.png|400px|center]]
Control the value field of the next dialog :
[[image:step9.png|300px|center]]
==Install AnimB==
Select the AnimB site and click on finish.
[[Image:Step10.png|600px|center]]
----
----
Select the AnimB feature and click on "Finish".
The rest is fairly straightforward.
The rest is fairly straightforward.


 
[[Category:User documentation]]
[[Category:User Documentation]]
[[Category:AnimB]]
[[Category:Plugin]]

Latest revision as of 04:03, 12 October 2010

Generally speaking, AnimB is installed and updated from within Rodin.

Begin the installation from the Rodin Help menu item :

  • Help
  • Install New Software...

Then select the AnimB update site


Select the AnimB feature and click on "Finish". The rest is fairly straightforward.

Retrieved from ‘https://wiki.event-b.org/index.php?title=AnimB_install&oldid=736’