genode/repos/gems/recipes/src/menu_view
Norman Feske bd9478204d Exclude file lib from gems API
The 'file' library makes the gems API depend on the libc, which is not
desireable because most users of the gems API have no direct libc
dependency.

With the changes of issue #4599, the build of each src archive that
depends on the gems API would attempt to build the 'file' library and
thereby demand the libc.

Note that the 'file' library is a relic that should better not be
promoted as part of the gems API. Hence, this patch removes the file
library from the gems API and adds it to the src archives of the few
remaining users.

Issue #4599
2022-09-19 14:00:32 +02:00
..
content.mk Exclude file lib from gems API 2022-09-19 14:00:32 +02:00
hash depot: update recipe hashes 2022-08-31 09:32:09 +02:00
used_apis Rename include/nitpicker_session to gui_session 2020-06-22 09:39:39 +02:00