我試圖在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
無法正常工作。
我不知道爲什麼這會關閉。這完全是一個編程問題。我的意思是,如果我們可以提出關於IDE的問題,那麼我們當然可以問關於安裝庫的問題嗎? – jfm3 2008-09-28 02:46:00