Problema di installazione di GODI

Question

Sto cercando di installare DIO su Linux (Ubuntu).È uno strumento di gestione delle librerie per il linguaggio ocaml.In realtà l'ho installato prima --due volte, ma qualche tempo fa-- senza problemi --che posso ricordare-- ma questa volta non riesco proprio a capire cosa mi manca.

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

Avevo aggiunto le directory corrette al percorso e vengono visualizzate con un file quick echo $path, E godi_confdir riportato come:

 /home/nlucaroni/godi/etc

(...e la directory esiste, con il file godi.conf presente).Quindi, non riesco a capire perché ./bootstrap_stage2 non funziona.

Answer 1

Ehi Chris, l'ho appena capito.Sciocco errore.

Era solo una questione di permessi, far funzionare tutto da /tmp/ ha funzionato bene, anche dopo l'abilitazione GODI_BASEPKG_PCRE In godi.conf.Lo stavo eseguendo dalla mia home directory, cose semplici come questa si dimenticano alle 3:00.

--

In realtà ho un altro problema.Installazione conf-opengl-6:

GODI non riesce a trovare il GL/gl.h file, anche se posso --puoi vedere che lo è 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

modificare - Ok, anche questo è stato risolto...avevo solo bisogno di GLU, strano dato che l'opzione di configurazione del test diceva che andava tutto bene.

Answer 2

Qual è il risultato di which godi_confdir?

PSRicordo di aver avuto lo stesso identico problema, ma non ricordo esattamente come l'ho risolto.