add ARM binutils to the development environment (Zynq)

artiq-fast/default.nix

@@ -19,7 +19,8 @@ let
       }) {} boards;
   mainPackages = rec {
     inherit (pythonDeps) asyncserial levenshtein pythonparser quamash pyqtgraph-qt5 misoc migen microscope jesd204b migen-axi lit outputcheck;
-    binutils-or1k = callPackage ./pkgs/binutils-or1k.nix {};
+    binutils-or1k = callPackage ./pkgs/binutils.nix { platform = "or1k"; target = "or1k-linux"; };
+    binutils-arm = callPackage ./pkgs/binutils.nix { platform = "arm"; target = "arm-linux-gnueabihf"; };
     llvm-or1k = callPackage ./pkgs/llvm-or1k.nix {};
     rustc = callPackage ./pkgs/rust
       ((stdenv.lib.optionalAttrs (stdenv.cc.isGNU && stdenv.hostPlatform.isi686) {

artiq-fast/pkgs/binutils.nix

@@ -1,10 +1,11 @@
 { stdenv, buildPackages
 , fetchurl, zlib
+, platform, target
 }:
 
 stdenv.mkDerivation rec {
   basename = "binutils";
-  platform = "or1k";
+  inherit platform;
   version = "2.30";
   name = "${basename}_${platform}-${version}";
   src = fetchurl {
@@ -12,7 +13,7 @@ stdenv.mkDerivation rec {
     sha256 = "028cklfqaab24glva1ks2aqa1zxa6w6xmc8q34zs1sb7h22dxspg";
   };
   configureFlags =
-    [ "--enable-shared" "--enable-deterministic-archives" "--target=or1k-linux"];
+    [ "--enable-shared" "--enable-deterministic-archives" "--target=${target}"];
   outputs = [ "out" "info" "man" ];
   depsBuildBuild = [ buildPackages.stdenv.cc ];
   buildInputs = [ zlib ];

artiq-fast/shell-dev.nix

@@ -12,6 +12,7 @@ in
       pkgs.cargo
       artiqpkgs.rustc
       artiqpkgs.binutils-or1k
+      artiqpkgs.binutils-arm
       artiqpkgs.llvm-or1k
       artiqpkgs.openocd
     ];