From 4fa33b32e2567276f84a8ef49cb01328db801fe2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 13 Jun 2022 08:18:32 +0200 Subject: devShells/c: add --- devShells/default.nix | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 devShells/default.nix (limited to 'devShells/default.nix') diff --git a/devShells/default.nix b/devShells/default.nix new file mode 100644 index 0000000..108d6a3 --- /dev/null +++ b/devShells/default.nix @@ -0,0 +1,17 @@ +{ 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"; + c = callDevelop ./c.nix; + riscv = callDevelop ./riscv.nix; + +} -- cgit v1.2.3