tvl-depot/users/aspen/system/home/modules/development/agda.nix
Aspen Smith 1cebb775f1 feat(aspen/system): Switch linux user login to aspen
Change-Id: I10369a20db3f1be92caf0bace94e8beb6af1dbaa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11302
Tested-by: BuildkiteCI
Autosubmit: aspen <root@gws.fyi>
Reviewed-by: aspen <root@gws.fyi>
2024-03-31 18:33:28 +00:00

58 lines
1.1 KiB
Nix

{ config, lib, pkgs, ... }:
let
agda-categories = with pkgs.agdaPackages; mkDerivation rec {
pname = "agda-categories";
version = "2128fab";
src = pkgs.fetchFromGitHub {
owner = "agda";
repo = "agda-categories";
rev = version;
sha256 = "08mc20qaz9vp5rhi60rh8wvjkg5aby3bgwwdhfnxha1663qf1q24";
};
buildInputs = [ standard-library ];
};
in
{
imports = [
../lib/cloneRepo.nix
];
home.packages = with pkgs; [
(pkgs.agda.withPackages
(p: with p; [
p.standard-library
]))
];
aspen.impure.clonedRepos = {
agda-stdlib = {
github = "agda/agda-stdlib";
path = "code/agda-stdlib";
};
agda-categories = {
github = "agda/agda-categories";
path = "code/agda-categories";
};
categories-examples = {
github = "agda/categories-examples";
path = "code/categories-examples";
};
};
home.file.".agda/defaults".text = ''
standard-library
'';
home.file.".agda/libraries".text = ''
/home/aspen/code/agda-stdlib/standard-library.agda-lib
/home/aspen/code/agda-categories/agda-categories.agda-lib
'';
}