Вопрос
Я пытаюсь установить ГОДИ в Linux (Убунту).Это инструмент управления библиотекой для языка 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
не работает.
Решение 2
Эй, Крис, я только что понял это.Глупая ошибка.
Это была просто проблема с разрешением, запуск всего с /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, что странно, поскольку опция тестовой конфигурации говорила, что все в порядке.
Другие советы
Каков результат which godi_confdir
?
P.S.Я помню, что у меня была точно такая же проблема, но я не помню точно, как я ее решил.