5

Linux（Ubuntu）にGODIをインストールしようとしています。ocaml 言語のライブラリ管理ツールです。私は実際にこれを以前に2回インストールしましたが、少し前に問題はありませんでした-覚えている限りですが、今回は何が足りないのかわかりません.

$ ./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うまくいかないのか分かりません。

4

2 に答える 2

2

の出力はwhich godi_confdir何ですか?

PSこれとまったく同じ問題があったことを覚えていますが、どのように修正したかを正確には覚えていません。

于 2008-09-06T16:49:54.920 に答える
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が必要でした。

于 2008-09-06T17:15:42.517 に答える