在 Mac OS 上安装 Uppaal

【问题标题】：Installing Uppaal on Mac OS在 Mac OS 上安装 Uppaal
【发布时间】：2020-01-28 12:06:32
【问题描述】：

我正在尝试在我的 Mac 上安装 Uppaal。我已经安装了 Catalina，并且我知道此处发布的解决方法与授权有关，并且已经这样做了。

但是当我运行 Uppaal 脚本时，我收到一条错误消息

错误：无法访问 jarfile ./uppaal.jar

我无法弄清楚问题是什么或如何解决它。 Java 是最新的。

请帮忙，我需要这个来完成大学作业

【问题讨论】：

【解决方案1】：

如果从 GUI 中从包含空格的路径运行 UPPAAL，似乎会出现上述错误。

我会将此报告给开发团队，直到他们能够通过以下解决方法之一修复它：

【讨论】：

【解决方案2】：

打开 uppaal 批处理文件（例如通过 TextEditor）并将此命令添加到它的顶部：

cd "$(dirname "$0")"

【讨论】：

【解决方案3】：

刚刚遇到同样的问题。我没有将cd "$(dirname "$0")" 添加到uppaal bash 脚本中，这有点侵入性，而是更改了行：

HERE=$(dirname "$(readlink -e $0)")

到：

HERE=$(realpath -s "$(dirname  "$0")")

这不会在调用时更改当前目录。相反，它将uppaal.jar 的（错误）相对路径转换为绝对路径。

【讨论】：