Dear Guido,
Thank you for your reply and help!
I had a look at the flake you shared, indeed this would work :)
I hoped, I could get the toolchain compiling. The solution you have, is
using patchelf. Which also works great! I may go that direction after all.
In the mean time, I had a look at how others did, and could get to the
point that I have much things compiling successfully, but I eventually
end up with that error for libgcc:
```
<...>
mkdir -p -- x86_64-pc-linux-gnu/libgcc
Checking multilib configuration for libgcc...
Configuring stage 1 in x86_64-pc-linux-gnu/libgcc
/home/alice/Repos/genode/build/tool_chain-25.05/bootstrap/install/x86_64-pc-linux-gnu/bin/ld:
cannot find crti.o: No such file or directory
/home/alice/Repos/genode/build/tool_chain-25.05/bootstrap/install/x86_64-pc-linux-gnu/bin/ld:
cannot find crtn.o: No such file or directory
collect2: error: ld returned 1 exit status
make[4]: *** [Makefile:1012: libgcc_s.so] Error 1
make[3]: *** [Makefile:23184: all-stage1-target-libgcc] Error 2
make[2]: *** [Makefile:26246: stage1-bubble] Error 2
make[1]: *** [Makefile:1111: all] Error 2
make: *** [tool/tool_chain:412:
/home/alice/Repos/genode/build/tool_chain-25.05/bootstrap/gcc/gcc/xg++]
Error 2
```
Actually, I am unsure if the error is caused by the nix's environment,
or if something just went wrong for some reason...
Cheers,
Alice
On 1/29/26 13:39, Guido wrote:
Hi Alice,
I remember that Emery H did a port of genode to Nix. However, I could
not find that on my computer, but I believe it must be out there.
I did find some .nix files to compile the toolchain, a shell and a
Genode repository on my disks. Although old and maybe broken by years
of 'Nix-progress' they might be a good starting point. Please see the
attachments.
Cheers,
Guido Witmond.
On Wed, 28 Jan 2026 11:02:51 +0100 "alice.domage--- via users"
<[email protected]> wrote:
Dear Genodians,
Has anyone already built the toolchain for nixos? and happens to have
a `flake.nix` or a `.nix` source file that can build it, I think
those are called 'derivation'.
I am currently down that rabbit hole, and have the following error:
```
$ ./tool/tool_chain x86
<...>
The directory (BUILD_SYSTEM_HEADER_DIR) that should contain system
headers does not exist:
/usr/include
```
I haven't modified the `tool/tool_chain` tool or patched configure to
adjusted standard paths, to point to their respective 'stores' yet. I
only have adjusted the shebangs to `#!/usr/bin/env -S ...` where
needed.
Cheers,
alice
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/4EP4PMG4KS6YDK3EEUPA5FV3UDWVG5C6/
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/LIPFZGNBUNEU7PMU4QVXLYHRDBLPYPKF/
