coreboot-kgpe-d16/util/nixshell/toolchain.nix
Felix Singer 61b90b173d util/nixshell/toolchain: Update GNAT to version 12
Change-Id: I308dc7640e16b7cfb7679d81099d8896f3f454fc
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/66835
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
2022-08-18 17:03:10 +00:00

20 lines
251 B
Nix

with import <nixpkgs> {};
stdenvNoCC.mkDerivation {
name = "coreboot-toolchain";
buildInputs = [
bison
curl
flex
git
gnat12
gnumake
patch
zlib
];
shellHook = ''
export SSL_CERT_FILE="/etc/ssl/certs/ca-certificates.crt"
'';
}