gnatbind：找不到：S-stalib.ali

Question

我我的OS X 10.8.5機器下面的步驟上安裝GNAT：

• 下載GNAT GPL從http://libre.adacore.com/download/configurations
• 與./doinstall安裝，接受所有默認選項
• 新增/usr/local/gnat/bin到$PATH

嘗試編譯簡單的Hello World例子中，我得到這個錯誤後：

​​

任何想法爲什麼會發生這種情況？

PS：gnat make -a hello工作，但創造噸文件，不應該要求據我所知。

編輯：按照要求，這裏是gnatls -v

GNATLS GPL 2013 (20130314) 
Copyright (C) 1997-2013, Free Software Foundation, Inc. 

Source Search Path: 
    <Current_Directory> 
    /usr/local/gnat/lib/gcc/x86_64-apple-darwin12.2.0/4.7.4/adainclude/ 


Object Search Path: 
    <Current_Directory> 
    /usr/local/gnat/lib/gcc/x86_64-apple-darwin12.2.0/4.7.4/adalib/ 


Project Search Path: 
    <Current_Directory> 
    /usr/local/gnat/x86_64-apple-darwin12.2.0/lib/gnat 
    /usr/local/gnat/share/gpr 
    /usr/local/gnat/lib/gnat 

輸出這裏是ls -l /usr/local/gnat/lib/gcc/x86_64-apple-darwin12.2.0/4.7.4/adalib/輸出的摘錄：

total 39224 
-rw-rwxr--@ 1 padde admin  4483 17 Apr 2013 Makefile.adalib 
-rw-rwxr--@ 1 padde admin  1450 3 Jun 18:00 a-assert.ali 

... 

-rw-rwxr--@ 1 padde admin  3178 3 Jun 18:01 s-rpc.ali 
-rw-rwxr--@ 1 padde admin  3778 3 Jun 18:01 s-scaval.ali 
-rw-rwxr--@ 1 padde admin  4908 3 Jun 18:01 s-sequio.ali 
-rw-rwxr--@ 1 padde admin 10542 3 Jun 18:01 s-shasto.ali 
-rw-rwxr--@ 1 padde admin  6382 3 Jun 18:01 s-solita.ali 
-rw-rwxr--@ 1 padde admin  8265 3 Jun 18:01 s-stausa.ali 
-rw-rwxr--@ 1 padde admin  4919 3 Jun 18:01 s-stchop.ali 
-rw-rwxr--@ 1 padde admin 14601 3 Jun 18:01 s-stratt.ali 
-rw-rwxr--@ 1 padde admin 11024 3 Jun 18:01 s-ststop.ali 
-rw-rwxr--@ 1 padde admin  5320 3 Jun 18:01 s-stusta.ali 
-rw-rwxr--@ 1 padde admin  9804 3 Jun 18:01 s-taasde.ali 
-rw-rwxr--@ 1 padde admin  4346 3 Jun 18:01 s-tadeca.ali 
-rw-rwxr--@ 1 padde admin  4234 3 Jun 18:01 s-tadert.ali 
-rw-rwxr--@ 1 padde admin 12564 3 Jun 18:01 s-taenca.ali 
-rw-rwxr--@ 1 padde admin  6663 3 Jun 18:01 s-taprob.ali 
-rw-rwxr--@ 1 padde admin 29033 3 Jun 18:01 s-taprop.ali 
-rw-rwxr--@ 1 padde admin 13719 3 Jun 18:01 s-tarest.ali 
-rw-rwxr--@ 1 padde admin  8863 3 Jun 18:01 s-tasdeb.ali 
-rw-rwxr--@ 1 padde admin  747 3 Jun 18:01 s-tasinf.ali 
-rw-rwxr--@ 1 padde admin 13008 3 Jun 18:01 s-tasini.ali 
-rw-rwxr--@ 1 padde admin 15237 3 Jun 18:01 s-taskin.ali 
-rw-rwxr--@ 1 padde admin  1259 3 Jun 18:01 s-tasloc.ali 
-rw-rwxr--@ 1 padde admin  1710 3 Jun 18:01 s-taspri.ali 
-rw-rwxr--@ 1 padde admin 11652 3 Jun 18:01 s-tasque.ali 
-rw-rwxr--@ 1 padde admin 29450 3 Jun 18:01 s-tasren.ali 
-rw-rwxr--@ 1 padde admin  1500 3 Jun 18:01 s-tasres.ali 
-rw-rwxr--@ 1 padde admin 31332 3 Jun 18:01 s-tassta.ali 
-rw-rwxr--@ 1 padde admin 11059 3 Jun 18:01 s-tasuti.ali 
-rw-rwxr--@ 1 padde admin  7120 3 Jun 18:01 s-tataat.ali 
-rw-rwxr--@ 1 padde admin  2942 3 Jun 18:01 s-tpinop.ali 
-rw-rwxr--@ 1 padde admin 11318 3 Jun 18:01 s-tpoben.ali 
-rw-rwxr--@ 1 padde admin 19570 3 Jun 18:01 s-tpobop.ali 
-rw-rwxr--@ 1 padde admin 11075 3 Jun 18:01 s-tposen.ali 
-rw-rwxr--@ 1 padde admin  1421 3 Jun 18:01 s-traces.ali 
-rw-rwxr--@ 1 padde admin  3889 3 Jun 18:01 s-tratas.ali 
-rw-rwxr--@ 1 padde admin 17789 3 Jun 18:01 s-utf_32.ali 
-rw-rwxr--@ 1 padde admin  8312 3 Jun 18:01 s-vaflop.ali 
-rw-rwxr--@ 1 padde admin  997 3 Jun 18:01 s-valboo.ali 
-rw-rwxr--@ 1 padde admin  1239 3 Jun 18:01 s-valcha.ali 
-rw-rwxr--@ 1 padde admin  1309 3 Jun 18:01 s-valdec.ali 
-rw-rwxr--@ 1 padde admin  2921 3 Jun 18:01 s-valenu.ali 
-rw-rwxr--@ 1 padde admin  1733 3 Jun 18:01 s-valint.ali 
-rw-rwxr--@ 1 padde admin  1345 3 Jun 18:01 s-vallld.ali 
-rw-rwxr--@ 1 padde admin  1807 3 Jun 18:01 s-vallli.ali 
-rw-rwxr--@ 1 padde admin  3841 3 Jun 18:01 s-valrea.ali 
-rw-rwxr--@ 1 padde admin  3078 3 Jun 18:01 s-valuns.ali 
-rw-rwxr--@ 1 padde admin  2863 3 Jun 18:01 s-valwch.ali 
-rw-rwxr--@ 1 padde admin  2157 3 Jun 18:01 s-veboop.ali 
-rw-rwxr--@ 1 padde admin  535 3 Jun 18:01 s-vector.ali 
-rw-rwxr--@ 1 padde admin  1153 3 Jun 18:01 s-vercon.ali 
-rw-rwxr--@ 1 padde admin  3305 3 Jun 18:01 s-vmexta.ali 
-rw-rwxr--@ 1 padde admin  2474 3 Jun 18:01 s-wchwts.ali 
-rw-rwxr--@ 1 padde admin  698 3 Jun 18:01 s-widboo.ali 
-rw-rwxr--@ 1 padde admin  939 3 Jun 18:01 s-widcha.ali 
-rw-rwxr--@ 1 padde admin  2526 3 Jun 18:01 s-widenu.ali 
-rw-rwxr--@ 1 padde admin  863 3 Jun 18:01 s-widlli.ali 
-rw-rwxr--@ 1 padde admin  1126 3 Jun 18:01 s-widllu.ali 
-rw-rwxr--@ 1 padde admin  1292 3 Jun 18:01 s-widwch.ali 
-rw-rwxr--@ 1 padde admin  1301 3 Jun 18:01 s-wwdcha.ali 
-rw-rwxr--@ 1 padde admin  5682 3 Jun 18:01 s-wwdenu.ali 
-rw-rwxr--@ 1 padde admin  1957 3 Jun 18:01 s-wwdwch.ali 
-rw-rwxr--@ 1 padde admin  1561 3 Jun 18:01 sequenio.ali 
-rw-rwxr--@ 1 padde admin  1519 3 Jun 18:01 text_io.ali 
-rw-rwxr--@ 1 padde admin  391 3 Jun 18:01 unchconv.ali 
-rw-rwxr--@ 1 padde admin  389 3 Jun 18:01 unchdeal.ali 

有趣的是，所請求的文件s-stalib.ali是不包含在這個目錄中。

Answer 1

如果你說gnatls -v（或gnat list -v），它列出了（除其他事項外）對象的搜索路徑：在這裏，

... 
Object Search Path: 
    <Current_Directory> 
    /opt/gnat-gpl-2013/lib/gcc/x86_64-apple-darwin12.2.0/4.7.4/adalib/ 
... 

是什麼你說什麼？這樣對嗎？如果這些文件在那裏，它們是否可讀？

[後來]

OK，你有9個s-s*.ali文件，以保護-rw-rwxr--@（我不知道什麼是@手段！），而我有19個，保護-r--r--r--@。這看起來好像安裝因某種原因沒有完成。

當我安裝GNAT時，我使用sudo：sudo ./doinstall。這可能是區別嗎？

自述文件中說doinstall在當前（分配，我想）目錄中離開install.log;這可能會提供一些線索。

如果您決定重建庫，則最好在「已安裝」的adalib/目錄中使用Makefile.adalib。

祝你好運！