added workspace devshell

This commit is contained in:
waalge 2023-02-08 11:22:29 +00:00 committed by Lucas
parent 98cd51db7c
commit 5d984d7ee4
1 changed files with 24 additions and 10 deletions

View File

@ -12,12 +12,18 @@
devshell.url = "github:numtide/devshell"; devshell.url = "github:numtide/devshell";
}; };
outputs = { self, cargo2nix, nixpkgs, flake-utils, devshell }: outputs = {
flake-utils.lib.eachDefaultSystem (system: self,
let cargo2nix,
nixpkgs,
flake-utils,
devshell,
}:
flake-utils.lib.eachDefaultSystem (
system: let
pkgs = import nixpkgs { pkgs = import nixpkgs {
inherit system; inherit system;
overlays = [ cargo2nix.overlays.default devshell.overlay ]; overlays = [cargo2nix.overlays.default devshell.overlay];
}; };
rustPkgs = pkgs.rustBuilder.makePackageSet { rustPkgs = pkgs.rustBuilder.makePackageSet {
@ -25,10 +31,10 @@
packageFun = import ./Cargo.nix; packageFun = import ./Cargo.nix;
}; };
commonCategory = y: builtins.map (x: x // { category = y; }); commonCategory = y: builtins.map (x: x // {category = y;});
packages = { packages = {
aiken = (rustPkgs.workspace.aiken { }).bin; aiken = (rustPkgs.workspace.aiken {}).bin;
default = packages.aiken; default = packages.aiken;
}; };
@ -39,16 +45,24 @@
package = packages.aiken; package = packages.aiken;
} }
]; ];
in rec { in rec {
inherit packages; inherit packages;
devShell = pkgs.devshell.mkShell { devShell = pkgs.devshell.mkShell {
name = "aiken"; name = "aiken";
motd = ''Aiken motd = '' Aiken
$(type -p menu &>/dev/null && menu)''; $(type -p menu &>/dev/null && menu)'';
commands = aikenCmds; commands = aikenCmds;
}; };
devShells.aiken = devShell; devShells = {
aiken = devShell;
ws = rustPkgs.workspaceShell {
packages = with pkgs; [
# nix
rnix-lsp
alejandra
];
};
};
} }
); );
} }