1

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

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

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

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

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

4

3 回答 3

0

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

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

至：

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

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

于 2021-11-30T07:45:17.663 回答
0

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

cd "$(dirname "$0")"
于 2021-11-21T00:33:57.337 回答
0

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

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

  • 将文件移动到不包含任何空格的路径（注意：完整路径不得包含任何空格）
于 2020-01-28T13:58:05.990 回答