26 lines
642 B
Nix
26 lines
642 B
Nix
{
|
|
inputs = {
|
|
nixpkgs.url = "github:NixOS/nixpkgs/release-24.11";
|
|
flake-utils.url = "github:numtide/flake-utils";
|
|
};
|
|
outputs = { self, nixpkgs, flake-utils }:
|
|
flake-utils.lib.eachDefaultSystem (system:
|
|
let # helper bindings
|
|
# imported nix packages
|
|
pkgs = import nixpkgs { inherit system; };
|
|
# shell environment
|
|
dfltShell = pkgs.mkShell {
|
|
buildInputs = with pkgs; [
|
|
sby
|
|
boolector
|
|
haskellPackages.sv2v
|
|
bluespec
|
|
];
|
|
};
|
|
# output attribute set
|
|
in {
|
|
devShells.default = dfltShell;
|
|
}
|
|
);
|
|
}
|