flake.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

{
  inputs.nixpkgs.url = "github:NixOS/nixpkgs";
  outputs = { self, flake-utils, nixpkgs }:
    flake-utils.lib.eachDefaultSystem (system:
      let pkgs = nixpkgs.legacyPackages.${system};
      in rec {
        devShells.default = pkgs.mkShell {
          inputsFrom = builtins.attrValues packages;
          nativeBuildInputs = [
            pkgs.bluespec
            pkgs.gtkwave
            pkgs.icestorm
            pkgs.nextpnr
            pkgs.picocom
            pkgs.yosys
          ];
          env.BSC = pkgs.bluespec;
        };

        packages = { };
      });
}