anchor.diff:      homepage = http://openocd.sourceforge.net/;
       license = licenses.gpl2Plus;
       maintainers = with maintainers; [ bjornfor ];
  -    platforms = platforms.linux;
  +    platforms = platforms.unix;
     };
   }
  
positive.code:   };
  
    nativeBuildInputs = [ pkgconfig ];
    buildInputs = [ libftdi libusb1 hidapi ];
  
    configureFlags = [
      "--enable-jtag_vpi"
      "--enable-usb_blaster_libftdi"
      "--enable-amtjtagaccel"
      "--enable-gw16012"
      "--enable-presto_libftdi"
      "--enable-openjtag_ftdi"
      "--enable-oocd_trace"
      "--enable-buspirate"
      "--enable-sysfsgpio"
      "--enable-remote-bitbang"
    ];
  
    NIX_CFLAGS_COMPILE = [
      "-Wno-implicit-fallthrough"
      "-Wno-format-truncation"
      "-Wno-format-overflow"
    ];
  
    postInstall = ''
      mkdir -p "$out/etc/udev/rules.d"
      rules="$out/share/openocd/contrib/60-openocd.rules"
      if [ ! -f "$rules" ]; then
  
negative.code: { stdenv, lib, fetchurl, libftdi1, libusb1, pkgconfig, hidapi }:
  
  stdenv.mkDerivation rec {
    name = "openocd-${version}";
  