Extend recursive export to api archives

genodelabs / goa

Tool for streamlining the development of Genode applications

GNU Affero General Public License v3.0

19 stars 18 forks source link

Extend recursive export to api archives #73

Closed jschlatow closed 5 months ago

jschlatow commented 6 months ago

In the course of #39, we added support for recursively exporting projects. Whenever a project required an archive from another Goa project residing below the current working directory, Goa exports these as well. This mechanism, however, is not (yet) instantiated for api archives.

jschlatow commented 6 months ago

When working on this issue, I noticed that we should try downloading already published archives before triggering a recursive export. This is fixed by f06d450.