search

genodelabs / goa

Tool for streamlining the development of Genode applications
GNU Affero General Public License v3.0
19 stars 18 forks source link

exported used_api file unnecessarily omits depot-user specification #72

Closed jschlatow closed 5 months ago

jschlatow commented 6 months ago

In context of #71, I came across b23cc53, which directed my attention towards the way Goa assembles the _usedapi file of src archives. Currently, Goa uses the archives mentioned in the project's _usedapi file as a blueprint in order to populate the user's depot with the same api archives (if not already present). This may lead to inconsistencies if the depot user's archives actually differ.

Initially, I thought this was motivated by the limitation of the depot tools not supporting the <user>/api/<name>/<version> notation. By looking into the depot tools, however, I noticed that this notation is actually supported (see genodelabs/genode@1b96d0169028b0d4d59bfd5d15ba138652745833).

@cproc, @nfeske: Is there another rationale behind b23cc53 that I may have overlooked?

cproc commented 6 months ago

I can't remember, but It looks like https://github.com/genodelabs/genode/commit/1b96d0169028b0d4d59bfd5d15ba138652745833 was added later (2022) than b23cc53 (2020). So maybe it actually was implemented that way because of the limitation back then.