我在 Mac OS 10.15 上安装了 Uppaal 4.1.23，但出现错误。我该怎么办？
问问题
1549 次
2 回答
3
MacOS 10.15 Catalina 似乎强制执行二进制公证，即二进制文件必须由经过认证的开发人员签名才能运行。Uppaal 二进制文件未签名，因此 Catalina 发出错误：
单击“取消”将中止执行，Uppaal 将显示一个弹出窗口“服务器退出并出现错误 137”。
单击“移动到 Bin”将删除服务器二进制文件，从而破坏分发。任何后续运行或模拟器重新加载都会发出“服务器退出并出现错误 126”。我怀疑这就是发生的事情。
获得开发者证书需要一些时间。
一种解决方法是打开System Preferences// Security & Privacy：General
找到一行“server.bin was blocked from use because it is not from an identify developer”，点击“Allow Anyway”。
在 Uppaal 点击
View/Reload Simulator。Catalina 可能会为每个库创建另一个弹出窗口，并且每个库都必须在
System Preferences/中被允许Security & Privacy。这有点乏味，因为总共有 6 个二进制文件和库，但这是目前最安全的，每次安装都必须完成一次（我建议制作映像内容的副本，因为重新安装映像需要再次授予相同的权限）。
或者，可以通过在终端上运行以下命令一劳永逸地禁用签名检查（它将要求用户密码）：
sudo spctl --master-disable
然后System Preferences//将如下所示，不再请求权限Security & Privacy：General
如果用户开始从 Internet 运行任意程序，则此设置不安全。
一旦 Uppaal 正常运行（至少检查模拟器是否使用demo/train-gate.xml示例），可以回滚设置以在终端使用以下命令重新启用保护：
sudo spctl --master-enable
以前使用的 Uppaal 安装应继续运行而无需询问。
于 2019-11-14T10:24:39.663 回答
0
我已经解决了同样的问题。MacOS 11.6 上的 UPPAAL 4.1.24。我通过以下方式解决了这个问题：
- 按照 mariusm 的回答解决签名问题。
- 删除目录中的任何“空格字符”。
于 2021-10-20T04:21:23.807 回答