diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-08-24 08:47:15 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-08-24 08:47:15 +0200 |
| commit | 929d898bf77ee0d8f8d4f504483369411e2009da (patch) | |
| tree | f57a8f36e32fa6efd7f612dc820a15d20f56ec47 /devShells/nuttx.nix | |
| parent | 7fdca49b75b85a41da9dae34b01a01c88f38c142 (diff) | |
| download | nixos-personal-929d898bf77ee0d8f8d4f504483369411e2009da.tar.gz nixos-personal-929d898bf77ee0d8f8d4f504483369411e2009da.tar.bz2 nixos-personal-929d898bf77ee0d8f8d4f504483369411e2009da.zip | |
devShells: allow easier inheritence
Diffstat (limited to 'devShells/nuttx.nix')
| -rw-r--r-- | devShells/nuttx.nix | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/devShells/nuttx.nix b/devShells/nuttx.nix index 40172f0..0105fe5 100644 --- a/devShells/nuttx.nix +++ b/devShells/nuttx.nix @@ -1,5 +1,7 @@ -{ system, nixpkgs, default }: -{ arch, fpu ? null }: +{ system, nixpkgs +, default, c +, arch, fpu ? null +}: with nixpkgs.lib; let pkgs = nixpkgs.legacyPackages.${system}; @@ -18,13 +20,9 @@ in pkgs.mkShell { packages = (with pkgs; [ kconfig-frontends genromfs xxd openocd - - gnumake bear - meson ninja - cmake ]) ++ (with pkgs-cross.buildPackages; [ gcc gdb ]); - inputsFrom = [ default ]; + inputsFrom = [ default c ]; meta.platforms = nixpkgs.lib.platforms.linux; } |