diff options
Diffstat (limited to 'develop/default.nix')
-rw-r--r-- | develop/default.nix | 16 |
1 files changed, 0 insertions, 16 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; - -} |