GODI安装问题

时间:2020-03-05 18:48:39  来源:igfitidea点击:

我正在尝试在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文件)。因此,我不知道为什么。/ bootstrap_stage2无法正常工作。

解决方案

回答

哪个godi_confdir的输出是什么?

P.S.我记得有同样的问题,但我不记得是如何解决的。

回答

嗨,克里斯,我刚刚弄清楚了。愚蠢的错误。

只是一个权限问题,运行/ tmp /中的所有命令都很好-在godi.conf中启用GODI_BASEPKG_PCRE之后。我是从我的主目录运行它的,我们忘记了凌晨3:00这样的简单操作。

--

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

虽然我可以找到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

编辑好的,这也是固定的...只是需要GLU,很奇怪,因为测试配置选项说一切都很好。