error in building boot image Sculpt OS

Christian Helmuth christian.helmuth at genode-labs.com
Mon May 16 11:06:05 CEST 2022


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



More information about the users mailing list