[gtkada] Patch: Fully honor --disable-static.

[Björn Persson]

GTKada's new build system builds static libraries even if the user
specifies --disable-static. Here's a patch to rectify this. By not
overriding LIBRARY_TYPE it allows tools.gpr and testgtk.gpr to link to
the shared libraries when the static libraries are disabled.

The patch also adds dependencies to ensure that the libraries have been
built before tools.gpr is invoked.

Björn Persson
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gtkada-3.8.3-no_static.patch
Type: text/x-patch
Size: 1046 bytes
Desc: not available
URL: </pipermail/gtkada/attachments/20150720/9d3b01cd/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signatur
URL: </pipermail/gtkada/attachments/20150720/9d3b01cd/attachment.sig>