From 4fa33b32e2567276f84a8ef49cb01328db801fe2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Mon, 13 Jun 2022 08:18:32 +0200
Subject: devShells/c: add

---
 develop/nuttx.nix | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 develop/nuttx.nix

(limited to 'develop/nuttx.nix')

diff --git a/develop/nuttx.nix b/develop/nuttx.nix
deleted file mode 100644
index 3066997..0000000
--- a/develop/nuttx.nix
+++ /dev/null
@@ -1,23 +0,0 @@
-{ nixpkgs, shellrc, system }: arch:
-let
-  pkgs = nixpkgs.legacyPackages.${system};
-  pkgs-riscv = import nixpkgs.outPath {
-    localSystem = system;
-    crossSystem = {
-      config = "arm-none-eabi";
-      libc = "newlib";
-      gcc = {
-        arch = arch;
-      };
-    };
-  };
-
-in pkgs.mkShell {
-  packages = (with pkgs; [
-    kconfig-frontends
-  ]) ++ (with pkgs-riscv.buildPackages; [
-    gcc gdb
-  ]);
-  inputsFrom = [ shellrc.packages.${system}.default ];
-  meta.platforms = nixpkgs.lib.platforms.linux;
-}
-- 
cgit v1.2.3