From 33bcd7c02ed5bef0cfa137c7ad1d9028d293c9da Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 2 Jul 2024 10:18:30 +0200 Subject: [PATCH] doc/tool_chain.txt: change download URL to GitHub Also make the description more concise, and present the download information before the extraction step. --- doc/tool_chain.txt | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/doc/tool_chain.txt b/doc/tool_chain.txt index 0efa8529b7..f803e374c5 100644 --- a/doc/tool_chain.txt +++ b/doc/tool_chain.txt @@ -30,16 +30,18 @@ tool chain. It can be obtained in two ways: as pre-compiled binaries or manually compiled: :Pre-compiled: - Our pre-compiled tool chain is runnable on Linux x86_32 and x86_64. The - archives for both versions will be extracted to - _/usr/local/genode/tool/_. + [https://github.com/genodelabs/genode/releases/download/23.05/genode-toolchain-23.05.tar.xz - Download the tool chain] + pre-compiled for Linux x86_64. + + ! SHA256 880886efba0f592a3d3c5ffb9fa63e692cb6bd643e13c5c468d0da027c22716e + To extract the archive, use the following command: + ! sudo tar xPf genode-toolchain--.tar.xz + The use of the 'P' option ensures that the tool chain will be installed at - the correct absolute path where the build system expects it to reside by - default. Please note, Genode OS Framework releases require a Genode tool - chain with an equal or next smaller version number. - [https://sourceforge.net/projects/genode/files/genode-toolchain/ - Download the pre-compiled tool chain...] + _/usr/local/genode/tool/_, which is the location expected by + Genode's build system. :Compile from source: For those of you who prefer compiling the tool chain from source, we provide