Проблема установки 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:00 утра.

-

На самом деле у меня другая проблема. Установка 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

edit - Хорошо, это тоже исправлено... просто нужен GLU, странно, так как опция конфигурации теста сказала, что все в порядке.

Answer 2

Каков выход which godi_confdir?

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