在Mac上安装Uppaal

Question

我在我的Mac上安装Uppaal。我已经安装了Catalina和我知道的解决办法张贴在这里做的授权，并已这样做。

但是当我运行Uppaal脚本时，我看到一个错误：

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

我不知道问题出在哪里，也不知道怎么解决。Java是最新的。

帮帮忙，我需要这个来完成任务

Answer 1

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

我将向开发团队报告这一点，直到他们能够解决以下问题之一：

• 将文件移动到不包含任何空格的路径(NB:完整路径不能包含任何空格)

Answer 2

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

cd "$(dirname "$0")"

Answer 3

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

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

至：

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

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