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? > > 1. Clone the Genode repository on a machine with internet access: > > git clonehttps://github.com/genodelabs/genode.git > > 2. 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 ------------------------------------------------------------------------------ Dive into the World of Parallel Programming. The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net/ _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
