make fun: optimize depot/create by using depot/download

[Roman Iten]

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/1b50ac73dc3b4986c1df1694b88ecc49757d057f





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20180706/957c6791/attachment-0001.sig>