Menu ▾ ▴

#30 Unable to install on Mac OS Mojave

v1.0_(example)
closed
nobody
None
5
2019-04-29
2019-04-24
Keith Lander
No

Rodin won't install correctly. I have downloaded the latest version, but when I launch it it fails to set up the working directory at the supplied location (see first screenshot). If I try a different location it also fails, but with a different error (see second screenshot). I have the latest version of Eclipse installed (if that is relevant).

2 Attachments
Screenshot 1.png
Screenshot 2.png

Related

Support Requests: #30

Discussion

  • Laurent Voisin

    Laurent Voisin - 2019-04-24

    Dear Keith,

    thank you for reporting this error. However, I did not succeed in reproducing it on Mojave.

    As concerns the first warning, maybe you selected an incorrect path for the workspace?

    Note that the second warning just tells you that the workspace already exists, but has been used by a newer version of Eclipse (latest Rodin 3.4 is based on Eclipse 3.7.2). I do not advise using it with Rodin.

    However you should be able to create a new workspace just next to it, e.g. /Users/appworks/Documents/My Rodin Projects.

    If this still does not work, could you please tell me which version of Java you are using (i.e., the result of java -version entered in a terminal).

    Cheers,
    Laurent.

     

  • Keith Lander

    Keith Lander - 2019-04-25

    Hi

    Thanks for your reply. I'm The first warning I received from Rodin used the path provided by Rodin.

    I have just tried creating a workspace where you suggested, but it still fails. I have attached the log file and screenshot of the error message. The version details for java are:

    java version "11.0.1" 2018-10-16 LTS
    Java(TM) SE Runtime Environment 18.9 (build 11.0.1+13-LTS)
    Java HotSpot(TM) 64-Bit Server VM 18.9 (build 11.0.1+13-LTS, mixed mode)

    I am surprised Rodin is based on 3.7.2 because it was released in 2012! Are there plans to upgrade Rodin to the latest eclipse?

    Best
    Keith

     

    Last edit: Keith Lander 2019-04-25
    Thumbnail
    Screenshot 2019-04-25 at 08.39.06.png

  • Keith Lander

    Keith Lander - 2019-04-25

    Sorry, I think I left the log file out.

     
    log

  • Keith Lander

    Keith Lander - 2019-04-26

    Hi Laurent

    I've tried a couple more things. I installed eclipse 4.7.2 and, guess what? It failed the same way as Rodin when I tried setting the workspace. Then I saw the comment in this thread from Colin Snook where he says he got Rodin working with a later version of java. So, I reinstalled the latest version of eclipse and added the line he mentions to Rodin.ini (I'd also reinstalled Rodin). When it launches it offers a workspace inside the app contents. This won't work because of permissions, so I changed it to somewhere in Documents. Same problem. Looking at the log file (attached) I see that it is eclipse that is crashing. Is there a clue here with 4.7.2 failing in a similar way? I'm not a Java user and don't know eclipse, so am in unfamiliar territory.

    Regards
    Keith

     
    log

  • Keith Lander

    Keith Lander - 2019-04-27

    Hi

    I tried installing Rodin on a different laptop and it worked ok. So, thinking there might be something corrupt on my laptop I did a clean install of Mojave and restored eveything from time machine. However, it is still failing. So I have no idea how to proceed. I was hoping the logs I've sent would give you a clue.

    Best
    Keith

     

  • Son Hoang

    Son Hoang - 2019-04-28

    Dear Keith,
    I did have a problem with the latest Java (Java 11) installed on Mac (together with other Java versions). When launching Eclipse/Rodin, it always pick the Java 11 which does not work for Eclispe 4.7.2 and Rodin 3.40. To enforce the correct Java version, I added -vm arguments to rodin.ini. The following two lines must be put just before the -vmargs argument.
    -vm
    /path/to/JVM
    More information on the -vm option is at https://wiki.eclipse.org/Eclipse.ini#Specifying_the_JVM
    For example, on Mac OS X, the path for Oracle JDK is something like this
    /Library/Java/JavaVirtualMachines/jdk1.8.0_51.jdk/Contents/Home/bin
    Best regards,
    Son

     

  • Keith Lander

    Keith Lander - 2019-04-28

    Hi

    Thanks for this - just what I was looking for. It's working OK now.

    Once again thanks for you help.

    Regarda
    Keith

     

  • Laurent Voisin

    Laurent Voisin - 2019-04-29
    • status: open --> closed
     

Log in to post a comment.

MongoDB Logo MongoDB