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

こんにちはクリス、私はそれを理解しました。愚かな間違い。

godi.confにGODI_BASEPKG_PCREを有効にしたあと、/tmp/から正常に動作したすべてのものを実行していたのは許可の問題でした。私は自分のホームディレクトリからそれを実行していたので、午前3時にそのような簡単なことを忘れてしまった。

-

実際に私は別の問題を抱えています。インストールするconf-opengl-6：

GODIはファイルを見つけることができませんが、それは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 

編集 - [OK]を、これも固定されている...ちょうど必要GLU、テスト構成オプションはすべてが大丈夫だったと述べたことから奇妙な。

Answer 2

which godi_confdirの出力は何ですか？

P.S.私はまったく同じ問題を抱えていることを覚えていますが、私はそれをどのように修正したか正確に覚えていませ