machine = macbook pro 13"
macos = high sierra 10.13.3
the application rodin app can be launched.
but when the workspace is chosen, the application crashes.
the application does not memory the last workspace too.
I join the error message that can be seen on the screen and the .log file associated with the workspace.
the .log file
The Java interpreter is Java 9. There used to be issues for starting Eclipse prior to Oxygen 1.A, but these should have been fixed in Oxygen 2 (which is the basis for Rodin 3.4).
However, some people have also reported issues when running with an older workspace.
Could you please try to run Eclipse 3.4 on a brand new workspace. If it works, you can recover your files from the old workspace by clicking "Import.. > General > Existing Projects into Workspace" from the Event-B Explorer context menu. Then do not forget to tick the checkbox labelled "Copy projects into workspace".
what i did :
i remove the folder which was already new (new machine bought recently)
i launch the application Rodin
when asked to choose a "wokrspace" folder, i select the "new folder" button below on the form
after having created the folder "workspace" i choose that folder
* the message error is print again
(this is systematic)
I conclude the error is not linked with the fact that the workspace is "old".
Java is up to date (see joint file)
Dear Paul, this is thus another Eclipse issue. It can be worked around by editing the file
rodin.ini
. For that, right-click on the Rodin icon and select "Afficher le contenu du paquet", then enter theContents
, then theEclipse
directories. There, open therodin.ini
file in an editor and add the following line at the end of the fileSave the modification.
Now the Rodin platform shall start properly.
thank you Laurent !
the Rodin tool works well now ;-)