Mac的Rodin安装教程

上篇文章写的是Windows 10下的Rodin安装,但由于Windows电脑过于沉重,而且续航不行,难以维持2个半小时的课程,故选择在Mac上安装。

软件列表

系统:macOS Big Sur 11.2.3

Rodin 3.5 下载地址:https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/

安装步骤

安装JDK 8

下载JDK 8

方法一

在Mac上直接terminal中输入:

1
brew cask install corretto8
方法二

在IDEA中点击File-Project Sturcture:

点击右上角文件夹图标:

点击Download JDK

测试JDK 8是否安装成功

输入以下命令不报错即成功

1
2
3
java
javac
java -version

安装Rodin

macOS caveat

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command xattr -rc Rodin.app in a Terminal to remove the quarantine tag.

Rodin的官网有提示,下载后解压出现的Rodin.app直接点击会报错,需要在Rodin.app路径下打开终端输入xattr -rc Rodin.app 命令。

但是又继续报错:

问题是无法创建JVM,因为网络上关于Rodin的教程本来就少,Mac的更少了,但是它和eclipse是一体的,所以我就去找了eclipse报该错误的原因,果然找到很多,发现是需要添加-vm

进入Rodin.app路径下,因为我直接把它拉进Applications里,所以在终端直接输入以下指令进入Contents文件夹下修改Info.plist

1
2
cd /Applications/rodin.app/Contents
vim Info.plist

发现有一段被注释掉了

在终端中执行如下命令来获得JDK完整的安装路径:

1
/usr/libexec/java_home --verbose

则可在Info.plist中将注释内容改为自己的安装路径

1
<string>-vm</string><string>/Users/hoohoo/Library/Java/JavaVirtualMachines/corretto-1.8.0_282/Contents/Home/bin/java</string>

修改并保存,就可以成功启动Rodin了。

安装插件等步骤详见上一篇文章:Rodin安装教程(附java8安装教程)

----------到结尾啦!! Hoohoo----------