Merge pull request #255352 from jmbaur/coreboot-toolchain-gnat

coreboot-toolchain: Unpin gnat
This commit is contained in:
Fabián Heredia Montiel 2023-09-19 15:30:18 -06:00 committed by GitHub
commit ccd211c6be
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,7 +8,7 @@ let
, flex
, getopt
, git
, gnat11
, gnat
, gcc
, lib
, perl
@ -35,7 +35,7 @@ let
};
nativeBuildInputs = [ bison curl git perl ];
buildInputs = [ flex zlib (if withAda then gnat11 else gcc) ];
buildInputs = [ flex zlib (if withAda then gnat else gcc) ];
enableParallelBuilding = true;
dontConfigure = true;