4c4aa8e413
`config.home.homeDirectory` is never set, meaning that when this builds in CI it just uses the $HOME of the buildkite agent that's running, causing it to almost always rebuild on new changes - I'm never going to have a username on a system other than `grfn`, so this is fine to just hardcode. Change-Id: I920a0c546f4c06d0429534d116465e8f732218e7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3495 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <mail@tazj.in>
58 lines
1.1 KiB
Nix
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
|
|
|
|
]))
|
|
];
|
|
|
|
grfn.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/grfn/code/agda-stdlib/standard-library.agda-lib
|
|
/home/grfn/code/agda-categories/agda-categories.agda-lib
|
|
'';
|
|
|
|
}
|