Hi Norman
we need a way to provide upstream library sources (i.e. the "contrib"-directory) in an environment without internet access.
I wonder if regular Unix tools could already safe your day. How about the following workflow?
Clone the Genode repository on a machine with internet access:
Prepare all packages using Genode's ports tools:
cd genode ./tool/ports/list | xargs -ixxx ./tool/ports/prepare_port xxx
Alternatively to using the output of the 'list' tool, you may maintain a file with the list of ports you actually need.
Thanks for mentioning ./tool/ports/list. I didn't think about that. The workflow you suggest will most likely meet our needs.
Just out of mere curiosity, there isn't yet (and in near future won't be) a way to create such a port list with additional version information? This way it's not necessary to reproduce the working directory of the offline computer on the online computer in order to download the correct versions of the ports.
Regards, Roman