diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-11-22 15:17:30 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-11-22 15:17:30 +0100 |
| commit | dc40da30011d035d5f554799976908a1f5e0653b (patch) | |
| tree | 1e86d98f18ffe627d03ced4aaf59408a1d5edf8a /devShells/nuttx.nix | |
| parent | ac52183d9e8bcd5aac617d1cb118b7a179c40e3e (diff) | |
| download | nixos-personal-dc40da30011d035d5f554799976908a1f5e0653b.tar.gz nixos-personal-dc40da30011d035d5f554799976908a1f5e0653b.tar.bz2 nixos-personal-dc40da30011d035d5f554799976908a1f5e0653b.zip | |
devShells: include less packages
Diffstat (limited to 'devShells/nuttx.nix')
| -rw-r--r-- | devShells/nuttx.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devShells/nuttx.nix b/devShells/nuttx.nix index ef6e632..2d3e271 100644 --- a/devShells/nuttx.nix +++ b/devShells/nuttx.nix @@ -11,7 +11,7 @@ let config = if (hasPrefix "armv" arch) then "arm-none-eabi" + (optionalString (fpu != null) "hf") else "riscv32-none-elf"; - libc = "newlib"; + libc = "newlib-nano"; gcc = { arch = arch; } // (optionalAttrs (fpu != null) { fpu = fpu; }); |