macos - 如何在 Mac 上运行 mizar

Question

如果这不是此类问题的正确堆栈交换站点，请告诉我哪里更合适。另外让我知道这个问题是否有更好的标签，我会添加它们(或者如果你想要/可以，自己添加它们)。另外，我在 mac 上以防万一。

我正在尝试使用 mizar。我已经下载了它，现在正在尝试学习本教程:https://www.cs.ru.nl/~freek/mizar/mizman.ps.gz (您可以通过谷歌搜索“用九个简单的步骤编写 Mizar 文章”并点击第一个链接来在线找到本教程)。

我正在尝试按照第 3 页(页面的中上)教程的建议使用命令 mizf text/my_mizar.miz。问题似乎是我缺少一个名为 mml.ini 的文件，我不确定将这个文件放在哪里。

我曾尝试将它放在顶级目录中(例如，在/中)，但这不起作用(它还要求我 sudo 到 root ，而我不想这样做)。这是我的控制台的副本，让您了解我所做的事情。

➜  testing ls -R
dic     mml.ini text

./dic:
my_mizar.voc

./text:
my_mizar.err my_mizar.miz
➜  testing cat dic/my_mizar.voc
➜  testing cat text/my_mizar.miz
environ
begin
➜  testing mizf text/my_mizar.miz

**** File not found          ****
**** Can't open ' /mml.ini ' ****
➜  testing

Answer 1

可能的原因是未定义 MIZFILES 变量。如果您在默认模式下安装 Mizar System，共享文件的默认路径(在 macOS 和 GNU/Linux 中)为 /usr/local/share/mizar .就跑 export MIZFILES='/usr/local/share/mizar'在使用系统之前，或将其粘贴到 bashrc。即使对于默认设置也需要此变量是 uhm... 次优选择。

欲了解更多信息，请查看 macOS installation readme file .