12:28 marino 

lang/gnat_util: Update for 2015 tools

While here, convert autogen plist to static one.

 

21:44 marino 

lang/gnat_util: Add set_std_prefix and update_path symbols

Rather than require each user of libgnat_util to link in set_std_prefix
and update_path functions, let's assume each user needs the same version
of these functions and just add them directly to the library.

Adjust gnatcoll accordingly -- hack no longer necessary.