https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56616
--- Comment #3 from simon at pushface dot org ---
This PR was down to a lack of appreciation of the resources available.
If you provide a Library_Interface and you're building a dynamic
library, gprbuild populates the include Library_Src_Dir dire
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56616
Eric Botcazou changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
CC|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56616
--- Comment #1 from simon at pushface dot org 2013-03-14 12:30:33 UTC ---
Created attachment 29667
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29667
Proposed patch
