From 15bd5a0e017bb1635ca82e013bf6c3d070b37572 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 17:11:58 +0200
Subject: devShells: fix amrv6 and allow fpu to be used

---
 devShells/nuttx.nix | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'devShells/nuttx.nix')

diff --git a/devShells/nuttx.nix b/devShells/nuttx.nix
index 04a057d..ed0b971 100644
--- a/devShells/nuttx.nix
+++ b/devShells/nuttx.nix
@@ -1,20 +1,23 @@
-{ nixpkgs, shellrc, system }: arch:
+{ nixpkgs, shellrc, system }:
+{ arch, fpu ? null }:
+with nixpkgs.lib;
 let
   pkgs = nixpkgs.legacyPackages.${system};
   pkgs-riscv = import nixpkgs.outPath {
     localSystem = system;
     crossSystem = {
-      config = "arm-none-eabi";
+      config = "arm-none-eabi" + (optionalString (fpu != null) "hf");
       libc = "newlib";
       gcc = {
         arch = arch;
-      };
+      } // (optionalAttrs (fpu != null) { fpu = fpu; });
     };
   };
 
 in pkgs.mkShell {
   packages = (with pkgs; [
-    kconfig-frontends make cmake
+    kconfig-frontends gnumake cmake
+    openocd
   ]) ++ (with pkgs-riscv.buildPackages; [
     gcc gdb
   ]);
-- 
cgit v1.2.3