4f19e4b6af
This patch adjusts the interactive scenarios of the gems repository to use the depot. This has three immediate benefits. First, once the depot is populated with binary archives, the start time of the scenarios becomes very quick because most dependency checks and build steps are side-stepped. Second, the run scripts become more versatile. In particular, run scripts that were formerly supported on base-linux only (nit_fader, decorator, menu_view) have become usable on all base platforms that have a 'drivers_interactive' package defined. Finally, the run scripts have become much shorter. Issue #2339 |
||
|---|---|---|
| .. | ||
| include | ||
| lib | ||
| recipes | ||
| run | ||
| src | ||
| README | ||
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.