Проблема установки GODI

Question

Я пытаюсь установить 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 не работает.

Answer 1

Эй, Крис, я просто понял это. Глупая ошибка.

Это была всего лишь проблема с разрешением, работающая от /tmp/ работала нормально - хорошо после включения GODI_BASEPKG_PCRE в godi.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, странно, так как вариант тестовой конфигурации сказал, что все было прекрасно.

Answer 2

Каков выходной сигнал which godi_confdir?

P.S. Я помню, что у меня была такая же проблема, но я точно не помню, как я ее исправил.