From 37cb70e417010417fabb10c789c87a5eb79ac151 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Fri, 15 Mar 2024 10:56:06 +0100 Subject: devShells: drop those that I do not use offten --- devShells/nuttx.nix | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 devShells/nuttx.nix (limited to 'devShells/nuttx.nix') diff --git a/devShells/nuttx.nix b/devShells/nuttx.nix deleted file mode 100644 index 97675e9..0000000 --- a/devShells/nuttx.nix +++ /dev/null @@ -1,38 +0,0 @@ -pkgs: c: { - arch, - fpu ? null, -}: -with builtins; -with pkgs.lib; let - pkgsCross = import pkgs.path { - localSystem = pkgs.buildPlatform.system; - crossSystem = { - config = - if (hasPrefix "armv" arch) - then "arm-none-eabi" + (optionalString (fpu != null) "hf") - else "riscv32-none-elf"; - libc = "newlib"; - gcc = - { - inherit arch; - } - // (optionalAttrs (fpu != null) {inherit fpu;}); - }; - }; -in - pkgsCross.buildPackages.mkShell { - packages = with pkgsCross.buildPackages; - [ - kconfig-frontends - genromfs - xxd - openocd - gcc - gdb - ] - ++ (optionals (hasPrefix "rv32" arch) [ - esptool - ]); - inputsFrom = [c]; - meta.platforms = pkgsCross.lib.platforms.linux; - } -- cgit v1.2.3