Problema de instalación de GODI

Question

Estoy intentando instalar GODÍ en Linux (Ubuntu).Es una herramienta de gestión de bibliotecas para el lenguaje ocaml.De hecho, ya instalé esto antes, dos veces, pero hace un tiempo, sin problemas, que yo recuerde, pero esta vez simplemente no puedo entender lo que me estoy perdiendo.

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

Agregué los directorios adecuados a la ruta y aparecen con una rápida echo $path, y godi_confdir reportado como:

 /home/nlucaroni/godi/etc

(...y el directorio existe, con el archivo godi.conf presente).Entonces, no puedo entender por qué ./bootstrap_stage2 no está funcionando.

Answer 1

Hola Chris, lo acabo de descubrir.Error tonto.

Fue sólo una cuestión de permiso, ejecutar todo desde /tmp/ funcionó bien, mucho después de habilitar GODI_BASEPKG_PCRE en godi.conf.Lo había estado ejecutando desde mi directorio personal, te olvidas de cosas simples como esa a las 3:00 am.

--

En realidad tengo otro problema.Instalación conf-opengl-6:

GODI no puede ver para encontrar el GL/gl.h archivo, aunque puedo, puedes ver que es 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, esto también está arreglado...solo necesitaba GLU, extraño ya que la opción de configuración de prueba decía que todo estaba bien.

Answer 2

¿Cuál es la salida de which godi_confdir?

PDRecuerdo haber tenido exactamente el mismo problema, pero no recuerdo exactamente cómo lo solucioné.