2008-09-06 304 views
4

我試圖在Linux(Ubuntu)上安裝GODI。它是ocaml語言的圖書館管理工具。實際上,我之前已經安裝了這個軟件 - 但是一段時間以前 - 沒有任何問題 - 我記得 - 但是這次我無法弄清楚我錯過了什麼。GODI安裝問題

$ ./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無法正常工作。

+0

我不知道爲什麼這會關閉。這完全是一個編程問題。我的意思是,如果我們可以提出關於IDE的問題,那麼我們當然可以問關於安裝庫的問題嗎? – jfm3 2008-09-28 02:46:00

回答

1

嘿克里斯,我只是想通了。愚蠢的錯誤。

這只是一個權限問題,運行的所有內容都從/tmp/工作得很好 - 啓用GODI_BASEPKG_PCREgodi.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,因爲測試配置選項說一切都很好怪異。

2

which godi_confdir的輸出是什麼?

P.S.我記得有這個完全相同的問題,但我不記得我是如何修復它的。