Hello,

Merely as an experiment to avoid building already published/uploaded archives, I tried to integrate depot/download into the depot/create front-end. Having basically zero make experience, I came up with [1].

If the environment variable DOWNLOAD is set, it 'seems' to do what I intend:

- extract API/source/raw archives (make sure we use the correct version)

- download as many archives as possible (best-effort)

- build everything else, that couldn't be downloaded

Still I have some questions:

- Can you think of any (corner) cases which would result in an incomplete/inconsistent build regarding the content of the working directory?

- How can I deal with the following warning (when calling depot/download):

make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule.

- Is there a simple way to prevent the ugly log output as it may contain (expected) error messages like:

Error: failed to download 'https://...' make[2]: Target '...' not remade because of errors.

- Anything else I didn't consider?

Comments are highly appreciated, thanks!

Roman

[1] https://github.com/rite/genode/commit/1b50ac73dc3b4986c1df1694b88ecc49757d05...