linux – GODI安装问题

我正在尝试在Linux(Ubuntu)上安装GODI.它是ocaml语言的库管理工具.我之前实际安装了这个 – 但是前一段时间 – 没有任何问题 – 我记得 – 但这次我无法弄清楚我错过了什么.

$./bootstrap --prefix /home/nlucaroni/godi
$./bootstrap_stage2
.: 1: godi_confdir: not found
Error: Command fails with code 2: /bin/sh
Failure!

我已经在路径中添加了正确的目录,它们显示了一个快速回显$path,并且godi_confdir报告为：

 /home/nlucaroni/godi/etc

(…和目录存在,godi.conf文件存在).所以,我无法弄清楚为什么./bootstrap_stage2无效.

解决方法:

godi_confdir的输出是什么？

附：我记得有这个完全相同的问题,但我不记得我是如何修复的.

标签：linux,ocaml,godi
来源： https://codeday.me/bug/20190701/1345394.html