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,很奇怪,因为测试配置选项说一切都很好。