代码之家  ›  专栏  ›  技术社区  ›  nlucaroni

Godi安装问题

  •  4
  • nlucaroni  · 技术社区  · 16 年前

    我正在安装 GODI 在Linux(Ubuntu)上。它是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 不起作用。

    2 回复  |  直到 16 年前
        1
  •  2
  •   Charles Duffy    16 年前

    什么是输出 which godi_confdir ?

    另外,我记得有一个完全相同的问题,但我不记得我是如何解决的。

        2
  •  1
  •   nlucaroni    16 年前

    嘿,克里斯,我刚想出来。愚蠢的错误

    这只是一个权限问题,从 /tmp/ 工作得很好——启用后很好 GODI_BASEPKG_PCRE 在里面 godi.conf . 我一直在从我的主目录运行它,你忘了像凌晨3点这样简单的事情。

    ——

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

    天哪,我找不到 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,奇怪的是测试配置选项说一切都很好。