Martin Stein 95ece89cf8 tool/depot: improve handling of missing ports ...

* The extract tool determines and reports all missing ports at once.
* The extract tool automatically prepares all missing ports if PREPARE_PORTS=1.
* The missing_ports tool prints a list of missing ports for given archives.

Fixes #3353

2019-05-27 14:52:52 +02:00

..

build_bin_archive

run: add --depot-auto-update feature

2019-04-09 12:30:34 +02:00

categorize_args.inc

depot: move versions to subdirectory

2017-12-21 15:01:45 +01:00

common.inc

Ensure stable sorting order in tools

2017-11-06 13:57:25 +01:00

content_env_missing_ports.mk

tool/depot: improve handling of missing ports

2019-05-27 14:52:52 +02:00

content_env.mk

depot: execute content rules sequentially

2018-03-08 12:05:09 +01:00

dependencies.inc

depot: move versions to subdirectory

2017-12-21 15:01:45 +01:00

downloader

depot: support for gpg command override

2018-09-21 15:49:52 +02:00

extract_api_archive

Tool for assembling API/source/binary archives

2017-05-31 13:15:56 +02:00

extract_content.inc

Tool for assembling API/source/binary archives

2017-05-31 13:15:56 +02:00

extract_pkg_archive

depot: verify that runtime file is valid

2018-08-02 14:36:34 +02:00

extract_post_dependencies.inc

tool/depot: improve handling of missing ports

2019-05-27 14:52:52 +02:00

extract_pre_dependencies.inc

tool/depot: improve handling of missing ports

2019-05-27 14:52:52 +02:00

extract_raw_archive

Tool for assembling API/source/binary archives

2017-05-31 13:15:56 +02:00

extract_src_archive

tool/depot: use nullglob on stale archive removal

2019-04-09 12:30:35 +02:00

extract.inc

tool/depot: rm binary archives if versions collide

2019-04-01 19:33:52 +02:00

front_end.inc

depot: make DEPOT_DIR overridable

2018-01-17 12:14:40 +01:00

gpg.inc

depot: prevent warning with newer GPG versions

2019-01-07 12:33:56 +01:00