Browse Source

Take dhall from x86_64-linux nixpkgs

elf-fixup
Emery Hemingway 1 year ago
parent
commit
f9dfdbb995
  1. 2
      flake.nix
  2. 6
      lib/default.nix

2
flake.nix

@ -65,7 +65,7 @@
forAllCrossSystems ({ system, localSystem, crossSystem }:
nixpkgs.lib // (import ./lib {
inherit system localSystem crossSystem;
apps = self.apps.${system};
localPackages = nixpkgs.legacyPackages.${localSystem};
genodepkgs = self;
nixpkgs = nixpkgsFor.${system};
}));

6
lib/default.nix

@ -1,4 +1,4 @@
{ system, localSystem, crossSystem, genodepkgs, nixpkgs, apps }:
{ system, localSystem, crossSystem, genodepkgs, nixpkgs, localPackages }:
let
thisSystem = builtins.getAttr system;
@ -17,7 +17,7 @@ in rec {
runDhallCommand = name: env: script:
nixpkgs.runCommand name (env // {
nativeBuildInputs = [ buildPackages.dhall ]
nativeBuildInputs = [ localPackages.dhall ]
++ env.nativeBuildInputs or [ ];
}) ''
${dhallCachePrelude}
@ -45,7 +45,7 @@ in rec {
nixpkgs.stdenv.mkDerivation {
name = name + "-hw-image";
build = compileBoot name env boot;
nativeBuildInputs = [ buildPackages.dhall ];
nativeBuildInputs = [ localPackages.dhall ];
buildCommand = let
bootstrapDhall =
# snippet used to nest core.elf into image.elf

Loading…
Cancel
Save