genode/repos/gems/recipes/api
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
..
aes_cbc_4k depot: update recipe hashes 2020-10-09 13:35:57 +02:00
cbe depot: update recipe hashes 2021-10-14 13:46:25 +02:00
ctf depot: update recipe hashes 2022-08-17 12:03:26 +02:00
gems Exclude file lib from gems API 2022-09-19 14:00:32 +02:00
nano3d depot: update recipe hashes 2021-05-10 11:18:12 +02:00
polygon_gfx depot: update recipe hashes 2021-12-17 15:06:38 +01:00
trace_recorder_policy depot: update recipe hashes 2022-08-17 12:03:26 +02:00
vfs_gpu vfs_gpu: offer 'vfs_gpu_env' call 2022-02-15 10:10:01 +01:00