nixpkgs/pkgs/tools/security/tcb
Sergei Trofimovich 67ce2eda82 tcb: fix cross-compilation of tcb
Without the change build fails to find `gcc`:

    $ nix build --no-link -f. pkgsCross.riscv64.shadow
    > make[1]: Entering directory '/build/source/libs'
    > gcc -O2  -I../include -Wall -Wextra -fPIC -c libtcb.c -o libtcb.o
    > /nix/store/b9jxsncywlygxjjyql0z5bq6z29m6j4r-bash-5.1-p16/bin/bash: line 1: gcc: command not found
2022-12-26 14:45:00 +00:00
..
default.nix
fix-makefiles.patch