You would have thought that cmake's find_library() would have found
libgnat; here, GNAT GPL 2011 gives (in
lib/gcc/x86_64-apple-darwin10.2.0/4.5.3/adalib)
$ ls -l libgnat*
-rwxr-xr-x@ 1 simon simon 3886280 19 Apr 2011 libgnat-2011.dylib
-rw-r--r--@ 1 simon simon 5321016 19 Apr 2011 libgnat.a
lrwxr-xr-x@ 1 simon simon 18 19 Apr 2011 libgnat.dylib -> libgnat-2011.dylib
Perhaps it doesn't like symlinks.
The comment in g-comver.ads is wrong even with 4.6.0: it just returns
"4.6.0".
I suppose we could continue the fragility by adding gnat-2010 gnat-2011
etc to the proposed patch!