Difference between revisions of "AnimB install"

From Event-B
Jump to navigationJump to search
imported>Christophe
imported>Christophe
 
(11 intermediate revisions by 3 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]]
+
Select the AnimB feature and click on "Finish".  
==Adding the AnimB update site==
+
The rest is fairly straightforward.
This screen will vary depending on the features you have installed already. <br>
+
 
Click on the "New Remote Site..." button. <br>
+
[[Category:User documentation]]
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.
+
[[Category:AnimB]]
[[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]]
 
----
 
The reste is fairly straightforward.
 

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

Step1.png



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