我在我的 OS X 10.8.5 机器上安装了 GNAT,步骤如下:
- 从http://libre.adacore.com/download/configurations下载 GNAT GPL
- 安装
./doinstall
,接受所有默认选项 - 添加
/usr/local/gnat/bin
到$PATH
在尝试编译一个简单的 hello world 示例后,我收到此错误:
$ gnat make hello
gcc -c hello.adb
gnatbind -x hello.ali
gnatbind: Cannot find: s-stalib.ali
gnatmake: *** bind failed.
知道为什么会发生这种情况吗?
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
不包含在此目录中。