Hello Christian,
Thank you so much for taking your time out to help me and also to explain how you reached the solution .
Thanks Vasvi
On Mon, May 16, 2022 at 2:38 PM Christian Helmuth < christian.helmuth@genode-labs.com> wrote:
Hey Vasvi,
On Mon, May 16, 2022 at 09:21:00 CEST, vasvi sharma wrote:
I wanted to ask how you were able to deduce that the error was caused due to not enabling the pc repository ?
Sorry that I missed to reveal the wizardry behind my initial response. In fact, it's quite easy to spot if you look at the right part of your log, which states in error_make(1).png
Error: incomplete or missing recipe (genodelabs/pkg/wifi ...)
and in error_after_changing_file(3).png
Error: recipe for 'pkg/wifi' not found - unable to guess version
This means the depot tool was not able to find the "recipe" files for depot archives, which the build requires. I know the mentioned recipe is part of the sources in the repos/pc directory at repos/pc/recipes/pkg/wifi. Therefore this repository and also repositories it depends on have to be enabled on build. For more background on the depot tool please refer to
https://genode.org/documentation/developer-resources/package_management
Greets
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users