diff options
Diffstat (limited to 'develop')
-rw-r--r-- | develop/default.nix | 16 | ||||
-rw-r--r-- | develop/nuttx.nix | 23 | ||||
-rw-r--r-- | develop/riscv.nix | 23 |
3 files changed, 0 insertions, 62 deletions
diff --git a/develop/default.nix b/develop/default.nix deleted file mode 100644 index 421250f..0000000 --- a/develop/default.nix +++ /dev/null @@ -1,16 +0,0 @@ -{ nixpkgs, shellrc, system }: -let - - callDevelop = file: import file { - inherit nixpkgs; - inherit shellrc; - inherit system; - }; - -in { - - armv6 = callDevelop ./nuttx.nix "armv6-m"; - armv7e = callDevelop ./nuttx.nix "armv7e-m"; - riscv = callDevelop ./riscv.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; -} diff --git a/develop/riscv.nix b/develop/riscv.nix deleted file mode 100644 index ded7859..0000000 --- a/develop/riscv.nix +++ /dev/null @@ -1,23 +0,0 @@ -{ nixpkgs, shellrc, system }: -let - pkgs = nixpkgs.legacyPackages.${system}; - pkgs-riscv = import nixpkgs.outPath { - localSystem = system; - crossSystem = { - config = "riscv32-none-elf"; - libc = "newlib"; - gcc = { - arch = "rv32i"; - }; - }; - }; - -in pkgs.mkShell { - packages = (with pkgs; [ - qtrvsim - ]) ++ (with pkgs-riscv.buildPackages; [ - gcc pkg-config - ]); - inputsFrom = [ shellrc.packages.${system}.default ]; - meta.platforms = nixpkgs.lib.platforms.linux; -} |