{ pkgs ? import <nixpkgs> {}
, artiqpkgs ? import ./default.nix { inherit pkgs; }
, vivado ? import ./vivado.nix { inherit pkgs; }
}:

assert pkgs.lib.asserts.assertMsg (!pkgs.lib.strings.versionAtLeast artiqpkgs.artiq.version "7.0") "For ARTIQ 7+, use 'nix develop' on the flake instead.";
pkgs.mkShell {
  buildInputs = [
    vivado
    pkgs.gnumake
    (pkgs.python3.withPackages(ps: (with ps; [ jinja2 jsonschema numpy paramiko ]) ++ (with artiqpkgs; [ migen microscope misoc jesd204b migen-axi artiq ])))
    artiqpkgs.cargo-legacy
    artiqpkgs.rustc-legacy
    artiqpkgs.binutils-or1k
    artiqpkgs.binutils-arm
    artiqpkgs.llvm-or1k
    artiqpkgs.openocd
  ];
  TARGET_AR="or1k-linux-ar";
}