AnimB install: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Christophe
imported>Christophe
Line 10: Line 10:
*Install New Software...
*Install New Software...


Then select the AnimB update site
[[Image:Step1.png|300px|center]]<br>
[[Image:Step1.png|300px|center]]<br>
----
----
Select the option for new feature.<br>
 
[[Image:step2.png|400px|center]]
You select the AnimB feature and click on "Finish". The reste


==Adding the AnimB update site==
==Adding the AnimB update site==

Revision as of 04:00, 12 October 2010

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 :

  • Help
  • Install New Software...

Then select the AnimB update site



You select the AnimB feature and click on "Finish". The reste

Adding the AnimB update site

This screen will vary depending on the features you have installed already.
Click on the "New Remote Site..." button.
If you are behind a proxy and the Eclipse install mechanism does not work, then you can download an Archived Site and then click the "New Archived Site..." button instead.


Remote site

Fill in the "New Update Site" dialog with the following information and click OK.

Archived Site

First download the archived site and save it on local.
Then click on "New Archived Site..."
Selected the downloaded file and click on open.

Control the value field of the next dialog :

Install AnimB

Select the AnimB site and click on finish.


The rest is fairly straightforward.