Problema de instalação do GODI

Question

estou tentando instalar GODI no Linux (Ubuntu).É uma ferramenta de gerenciamento de biblioteca para a linguagem ocaml.Na verdade, já instalei isso antes - duas vezes, mas há algum tempo - sem problemas - que me lembre - mas desta vez simplesmente não consigo descobrir o que estou perdendo.

$ ./bootstrap --prefix /home/nlucaroni/godi
$ ./bootstrap_stage2
.: 1: godi_confdir: not found
Error: Command fails with code 2: /bin/sh
Failure!

Eu adicionei os diretórios apropriados ao caminho e eles aparecem com uma rápida echo $path, e godi_confdir relatado como sendo:

 /home/nlucaroni/godi/etc

(...e o diretório existe, com o arquivo godi.conf presente).Então, não consigo entender por que ./bootstrap_stage2 não está funcionando.

Answer 1

Ei, Chris, acabei de descobrir.Erro bobo.

Foi apenas uma questão de permissão, executando tudo, desde /tmp/ funcionou bem - bem depois de ativar GODI_BASEPKG_PCRE em godi.conf.Eu estava executando-o no meu diretório pessoal, você esquece coisas simples como essa às 3h.

--

Na verdade estou tendo outro problema.Instalando conf-opengl-6:

GODI não consegue encontrar o GL/gl.h arquivo, embora eu possa - você pode ver que é 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

editar - Ok, isso também está consertado...só precisava de GLU, estranho já que a opção de configuração de teste dizia que estava tudo bem.

Answer 2

Qual é a saída de which godi_confdir?

P.S.Lembro-me de ter exatamente o mesmo problema, mas não me lembro exatamente como o resolvi.