Re: [Rodin-b-sharp-user] How to install Atelier-B provers plugin into Rodin 3.0.1

[Nicolas B. <nic...@sy...>]

Dear Yusuke Hashimoto,

The AtelierB update site is working right now, but it could be that the 
server was down while you tried to run the install.
Please try the following to reload the update site in Rodin:
Window > Preferences > Install/Update > Available Software Sites
Click on 'Atelier B Provers' then on the 'Reload' button on the right, 
it should reconnect to the update site and update the information, or 
else it should display information about a reload failure.
When it's finished, click OK then retry to install Atelier B provers as 
usual, if the previous step went well, it should work.

Best regards,
Nicolas


Le 16/06/2014 09:06, Yusuke Hashimoto a écrit :
> Dear Sirs,
>
> Thank you for the release-announcement of Rodin 3.0.1.
>
> I can run the new release at my home.
> At my office, however, I have a problem in installing Atelier-B provers plugin.
> When I try to install it, Rodin gives me the following message.
> ================================
> 'Installing Software' has encountered a problem.
> An error occurred while collecting items to be installed
> session context was:(profile=DefaultProfile, phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=, action=).
> No repository found containing: osgi.bundle,com.clearsy.atelierb.provers,1.2.0.r16188
> No repository found containing: osgi.bundle,com.clearsy.atelierb.provers.core,1.4.0.r16188
> No repository found containing: osgi.bundle,com.clearsy.atelierb.provers.core.win32,2.1.0.r16188
> No repository found containing: org.eclipse.update.feature,com.clearsy.atelierb.provers,2.1.0.r16188
> No repository found containing: osgi.bundle,com.clearsy.atelierb.provers.ui,1.3.0.r16188
> ================================
>
> The same problem occurred for Rodin 3.0, too.
> Strange to say, I can install the plugin on Rodin 2.8 running on the same PC.
> Network settings of somewhere in my company may cause the problem,
> but it is difficult for me to identify the cause.
>
> Is there any way to install Atelier-B provers plugin
> other than the ordinary installation procedure?
>
> Thank you in advance,
> Yuusuke HASHIMOTO
> NEC Corporation, Japan
>
>
>> -----Original Message-----
>> From: Nicolas Beauger [mailto:nic...@sy...]
>> Sent: Thursday, June 12, 2014 2:28 AM
>> To: Rodin Users List
>> Subject: [Rodin-b-sharp-user] Rodin 3.0.1
>>
>> Dear Rodin users
>>
>> A maintenance release of Rodin is available.
>> It contains fixes for the following bugs, that may happen when loading proofs
>> made prior to 3.0:
>> http://sourceforge.net/p/rodin-b-sharp/bugs/713/ (fix already provided
>> through the previously announced patch)
>> http://sourceforge.net/p/rodin-b-sharp/bugs/717/
>>
>> In order to install this maintenance release from Rodin 3.0:
>> 1/ uninstall the patch if you have it: About Rodin Platform > Installation
>> Details > Select "Event-B IDE Patch" then click "Uninstall"
>> 2/ install the update: Help > Install new Software > Select "Core Rodin
>> Updates - http://rodin-b-sharp.sourceforge.net/core-updates " then 'Rodin
>> Platform' with version 3.0.1 (uncheck 'Contact all update
>> sites...') then proceed as usual.
>>
>> It can also be downloaded directly from:
>> http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platfor
>> m/3.0.1/
>>
>> Best regards
>> Nicolas
>>
>> ----------------------------------------------------------------------
>> --------
>> HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
>> Find What Matters Most in Your Big Data with HPCC Systems Open Source. Fast.
>> Scalable. Simple. Ideal for Dirty Data.
>> Leverages Graph Analysis for Fast Processing & Easy Data Exploration
>> http://p.sf.net/sfu/hpccsystems
>> _______________________________________________
>> Rodin-b-sharp-user mailing list
>> Rod...@li...
>> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
> ------------------------------------------------------------------------------
> HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
> Find What Matters Most in Your Big Data with HPCC Systems
> Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
> Leverages Graph Analysis for Fast Processing & Easy Data Exploration
> http://p.sf.net/sfu/hpccsystems
> _______________________________________________
> Rodin-b-sharp-user mailing list
> Rod...@li...
> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
>


-- 
------------------------------------------------------------------------
Nicolas BEAUGER                           Tél. : (+33)(0)4 42 90 65 62
Ingénieur Logiciel

SYSTEREL
------------------------------------------------------------------------
Téléphone : (+33)(0)4 42 90 65 62         site : www.systerel.fr
------------------------------------------------------------------------