4 Commits

Author	SHA1	Message	Date
Norman Feske	0cffda3cfe	tool/depot: pass make flags to dependencies cmd ... This patch harmonizes the tool/depot/download with the version of the Goa tool.	2022-05-25 12:22:10 +02:00
Norman Feske	b081988e66	tool/depot: make DEPOT_TOOL_DIR customizable ... By replacing the formerly hard-coded $(GENODE_DIR)/tool/depot/ by the variable DEPOT_TOOL_DIR, the depot tools can be hosted outside the Genode source tree, i.e., as part of the Goa tool.	2022-05-25 12:22:10 +02:00
Norman Feske	d4975235c2	tool/depot: download archives from web server ... This patch replaces the toy downloader (that merely copied files locally, for testing) with the mechanics needed to download files from a www server. It also changes the use of GPG to use detached signatures. Issue #2339	2017-05-31 13:16:24 +02:00
Norman Feske	39eff7f249	Tool for assembling API/source/binary archives ... Issue #2339	2017-05-31 13:15:56 +02:00