GODI安装问题

Question

我正在尝试在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!

我已经在路径中添加了适当的目录，它们显示了一个快速的echo $path，godi_confdir报告如下：

 /home/nlucaroni/godi/etc

(存在godi.conf文件的情况下，...and目录存在)。所以，我不明白为什么./bootstrap_stage2不能工作。

Answer 1

嘿，克里斯，我刚想通了。愚蠢的错误。

这只是一个权限问题，在/tmp/中运行所有东西都运行得很好--在godi.conf中启用GODI_BASEPKG_PCRE之后运行得很好。我一直在我的主目录中运行它，你会在凌晨3:00忘记这些简单的事情

--

实际上，我还有另一个问题。安装conf-opengl-6

虽然我可以--您可以看到它是Checking the suggestion，但是GODI看不到GL/gl.h文件。

> ===> Configuring for conf-opengl-6
> Checking the suggestion
>   Include=/usr/include/GL/gl.h Library=/<GLU+GL>
> Checking /usr:
>   Include=/usr/include/GL/gl.h Library=/usr/lib/<GLU+GL>
> Checking /usr:
>   Include=/usr/local/include/GL/gl.h Library=/usr/local/lib/<GLU+GL>
> Checking /usr/local:
>   Include=/usr/local/include/GL/gl.h Library=/usr/local/lib/<GLU+GL>
> Exception: Failure "Cannot find library".
> Error: Exec error: File /home/nlucaroni/godi/build/conf/conf-opengl/./../../mk/bsd.pkg.mk, line 1022: Command returned with non-zero exit code
> Error: Exec error: File /home/nlucaroni/godi/build/conf/conf-opengl/./../../mk/bsd.pkg.mk, line 1375: Command returned with non-zero exit code

### Error: Command fails with code 1: godi_console

编辑- Ok，这也被修复了...只需要GLU，奇怪的是测试配置选项说一切正常。

Answer 2

which godi_confdir的输出是什么

附注:我记得我也遇到过同样的问题，但我不太记得我是如何解决它的。