☰

我该如何安装并设置 petrify？

tag-icon • tag-icon software-installation environment-variables paths
我该如何安装并设置 petrify？

我想安装石化-- 一种用于模拟异步电路的工具 -- 所以我下载了该文件，并且在这个文件夹中有一个 INSTALL 文件，其内容为：

 You should define properly define the variables PATH and MANPATH
 of your environment including the "bin" and "man" directories
 of petrify respectively.

我应该怎么办？

答案1

来自Petrify 网站，我下载了“新版本 4.2（仅适用于 Linux）”（单击将下载文件）。

我使用以下命令解压它tar：

tar xfz petrify-4.2-linux.tgz

创建的petrify目录中有INSTALL您引用的文件以及它引用的目录bin和man。这些文件都可以使用，无需编译。指向petrify二进制文件的两个符号链接bin显然需要一个名为 Dot 的程序，但 Petrify 网站上指向该程序的链接已损坏，因此我没有尝试让这两个命令正常工作。

首先我建议测试一下petrify二进制文件。因为它是 32 位二进制文​​件，如果你使用的是 64 位系统，你可能会得到这个令人困惑的错误：

bash: ./petrify: No such file or directory

这是解释在 Gilles 的这个回答中。

对我来说安装就足够了libc6:i386：

sudo dpkg --add-architecture i386
sudo apt update
sudo apt install libc6:i386

现在程序应该可以运行了，但如果没有输入，它什么也不会做。如果你没有任何文件可以使用，你可以下载一些例子（单击将下载）从网站进行测试。此文件也需要解压tar xfz <file>。我测试了它，但我不知道如何解释输出，所以我只能告诉你生成了一些输出文件，并且没有任何错误！

最后，回答你的实际问题，你可能想要设置这些环境变量的原因是为了可以从任何地方运行petrify。man petrify你不必修改 PATH 或设置 MANPATH，只需将文件复制到适当的位置即可。假设你位于petrify找到该INSTALL文件的目录中，你可以运行

mkdir -p ~/bin
cp bin/petrify ~/bin

~/.profile如果Ubuntu默认的某段代码中存在此目录，则会自动将此目录添加到您的 PATH 中。您source ~/.profile需要立即调整它，或者注销并重新登录以使它生效（您只需执行一次）。现在您可以petrify在任何地方运行。

或者，您可以复制到/usr/local/bin：

sudo cp bin/petrify /usr/local/bin

这已经在默认 PATH 中。如果多个用户需要访问该程序，这是更好的选择。您还可以将符号链接从目录复制bin到与 相同的位置petrify。

对于man，我将该文件复制到我的系统上/usr/share/man/man1其他文件所在的位置：man

chmod 644 man/man1/petrify.1
sudo cp man/man1/petrify.1 /usr/share/man/man1

现在运行man petrify就会出现一个综合man页面。

如果您希望配置 PATH 并使文件保持隔离，则可以在您的~/.profile环境中设置环境变量。您可以添加如下行以附加到 PATH：

PATH="$PATH:/path/to/petrify/bin"

/path/to/petrify/bin用二进制文件父目录的实际路径替换它petrify，无论您把它放在哪里。

也可以在 中设置 MANPATH ~/.profile。请注意，目录结构是

man
└── man1
    └── petrify.1

如果的完整路径petrify.1为

/home/zanna/petrify/man/man1/petrify.1

~/.profile我会像这样设置 MANPATH （不带man1）：

export MANPATH=":$HOME/petrify/man"

领先的结肠此处很重要，不能省略。还请注意，您不需要exportPATH（它已导出，对它的更改将被继承）但您需要exportMANPATH。

相关内容