Проблема с установкой GODI
https://stackoverflow.com/questions/47309
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianВопрос
Я пытаюсь установить ГОДИ в 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.Я помню, что у меня была точно такая же проблема, но я не помню точно, как я ее решил.
