GODI安装问题

问题描述:

我试图在Linux(Ubuntu)上安装GODI。它是ocaml语言的图书馆管理工具。实际上,我之前已经安装了这个软件 - 但是一段时间以前 - 没有任何问题 - 我记得 - 但是这次我无法弄清楚我错过了什么。GODI安装问题

$ ./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无法正常工作。

+0

我不知道为什么这会关闭。这完全是一个编程问题。我的意思是,如果我们可以提出关于IDE的问题,那么我们当然可以问关于安装库的问题吗? – jfm3 2008-09-28 02:46:00

嘿克里斯,我只是想通了。愚蠢的错误。

这只是一个权限问题,运行的所有内容都从/tmp/工作得很好 - 启用GODI_BASEPKG_PCREgodi.conf。我一直在从我的主目录运行它,你在凌晨3点忘记了那样简单的事情。

-

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

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

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

which godi_confdir的输出是什么?

P.S.我记得有这个完全相同的问题,但我不记得我是如何修复它的。