a
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful

This commit is contained in:
Michael Zhang 2024-06-29 14:04:50 -05:00
parent 043b3ebe74
commit 83ceb81f8a
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B

View file

@ -1,18 +1,22 @@
{
inputs.agda.url = "github:agda/agda";
outputs = { self, nixpkgs, flake-utils, agda }: flake-utils.lib.eachDefaultSystem (system:
outputs = { self, nixpkgs, flake-utils, agda, }:
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = import nixpkgs { inherit system; };
agda-pkg = agda.packages.x86_64-linux.default;
flakePkgs = rec {
agda-bin = pkgs.callPackage ./nix/agda-bin.nix { inherit agda-pkg; };
docker-builder = pkgs.callPackage ./nix/docker-builder.nix { inherit agda-bin; };
docker-builder =
pkgs.callPackage ./nix/docker-builder.nix { inherit agda-bin; };
};
in
{
in {
packages = flake-utils.lib.flattenTree flakePkgs;
devShell = pkgs.mkShell {
packages = with pkgs; [
ASTRO_TELEMETRY_DISABLED = 1;
packages = with pkgs;
with flakePkgs; [
bun
woodpecker-cli
nixfmt-rfc-style
@ -20,6 +24,10 @@
nix-tree
vips
shellcheck
agda-bin
nodejs_20
corepack
];
};
});