我刚刚安装了 GMP,./configure...make
但现在似乎找不到它安装在哪里。
我检查了所有我能想到的箱子,但什么也没找到。不过,当我编写 C 文件并编译它时,它确实可以正确导入。
GMP安装到哪里了?
答案1
打字后./configure --help
会显示一个包含大量有用信息的页面,我可以在其中阅读
By default, `make install' will install all the files in
`/usr/local/bin', `/usr/local/lib' etc. You can specify
an installation prefix other than `/usr/local' using `--prefix',
for instance `--prefix=$HOME'.
因此,除非您指定了与默认前缀不同的前缀,否则您应该考虑上述选项。希望对您有所帮助
答案2
执行 configure --help 并查看还有哪些其他可用选项。按照标准,--prefix 会覆盖所有选项,因此您需要在指定前缀后覆盖配置位置。
如果您知道二进制文件的名称,您可以搜索它(例如 bash):
find / -name "*bash*" -executable -type f 2>/dev/null
找到后,您可以添加软链接或扩展 PATH 以便能够像下面这样执行它gmp