Thanks for the info, Norman.
That worked perfectly.
I will read up on that section in the manual (which is very well done and great job on it, I must say)
Cheers, Lonnie
Kind Regards and have a great day, Lonnie
On Tue, Oct 6, 2015 at 9:06 AM, Norman Feske <norman.feske@...1...> wrote:
Hi Lonnie,
not sure if it makes sense for the Genode project, but wouldn't it be a good idea for the Genode project to have local copies of these types of files so that compatability and building the base should not be a problem anymore? Just an idea.
I could see that a local repository could get rather large, but the upside is that the Genode users could get local copies that are known to work and install properly with the latest Genode versions.
we will definitely need to think of an alternative to the current status quo as those kind of problems continue to plague us. But until now I have not found a good way to go forward. Providing the downloads on genode.org sounds be an obvious idea. But in addition to bandwidth concerns, we will need to take measures to secure the integrity of the downloads, i.e., signing the archives. In short, I am afraid that we cannot come up with a short-term solution but we see the necessity for an improvement.
Anyway, do you have any suggestions on how to resolve the out-of-date error?
Assuming that you modified the download location in repos/libports/ports/libc.port, you will also need to adjust the corresponding hash at repos/libports/ports/libc.hash. Right now, the hash still refers to the old version of the libc. So the build system tries to use the (uninstalled) original version and rightfully complains. :-) You can update the hash file for your changed libc.port via
cd genode ./tool/ports/update_hash libc
Now, the build system should be able to use your version of the libc.
If you want to learn more about our mechanism for incorporating 3rd-party software such as the libc, you may find the Sections "5.2. Integration of 3rd-party software" and "5.3.6. Building 3rd-party software" of the manual [1] helpful.
[1] http://genode.org/documentation/genode-foundations-15-05.pdf
Cheers Norman
-- Dr.-Ing. Norman Feske Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main