Re: [Rodin-b-sharp-user] More on Rodin for 64 bit Linux: Command Line Options?

[Michael J. <mi...@ja...>]

Dear all,

> The problem comes from the use of Java and Eclipse, and that
> many labs have now  64bits Linux environments.

Considering that this topic gets raised on this list over and over
again, it's pretty clear that the OS landscape changed quite a bit ever
since Rodin was created many years ago.  I am not a Windows user, but I
assume that a similar issue may exist for Windows 64 bit, for which no
build exists (although Windows supposedly handles 32 bit versions more
gracefully).

I think it's clear that Rodin would benefit from more binary
distributions, as currently a significant minority is excluded.  So let
me throw two suggestions out:

  * We can once again ask Systerel whether they would be willing to
    reconsider adding Linux 64bit to the prebuilt Rodin versions.  This
    was discussed in the past and declined due to the extra workload.
  * Alternatively, maybe we can convince a Deploy (or later Advance)
    research partner to provide additional Rodin builts.  No, I am not
    volunteering Düsseldorf. :-)

Best,

- Michael


>  The Rodin team prepared
> a dmg for MacOS, that worked fine on my macbook Pro, but the quick 
> installation on Linux 64 caused a lot of problems. I am not a specialist 
> in operating systems, nor in Java and Eclipse, so I need
> a quick installation procedure description for sending it to engineers 
> who are not specialists of Event-B.
>
>   Rodin contains some (nice) graphical interface, and an interesting 
> logical kernel but if for some reason the parameters of the graphical 
> interface are not OK, the logical stuff is not usable.
>
> I also presented Rodin in various countries and places. When some ready 
> made installation packages are provided, its OK, but if the system 
> already in place has not the intended version of Java, it causes a lot
> of problems.
>
> So, please, J.R., you know that I present the advantages of event-B in
> many occasions. So I I signal problems, don't accuse me of making fuss :-(
>
> P. Castéran

-- 
Michael Jastram (http://www.jastram.de, +49 (162) 274 83 94)
Geschäftsführer, Formal Mind GmbH (http://formalmind.com)
Wissenschaftler, Heinrich Heine Universität Düsseldorf (http://www.stups.uni-duesseldorf.de)
1. Vorsitzender, rheinjug e.V. (http://www.rheinjug.de)