flake.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

{
  inputs.nixpkgs.url = "github:NixOS/nixpkgs";
  outputs = { self, flake-utils, nixpkgs }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        pkgs = nixpkgs.legacyPackages.${system};
        bsc-contrib = pkgs.fetchFromGitHub {
          name = "bsc-contrib-src";
          owner = "B-Lang-org";
          repo = "bsc-contrib";
          rev = "fc26b91c8add9660204c4311dcc60d223ed23ea5";
          hash = "sha256-7H+R7QwcyskrXGO51zZuuyIwZZROc25gJy9nqg/I6lM=";
        };
      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;
            BSC_CONTRIB = bsc-contrib;
          };
        };

        packages = { };
      });
}