tvl-depot/users/glittershark/system/home/modules/development/agda.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

62 lines
1.2 KiB
Nix
Raw Normal View History

2020-06-15 17:54:01 +02:00
{ config, lib, pkgs, ... }:
let
nixpkgs-unstable = import <nixpkgs-unstable> {};
agda-categories = with nixpkgs-unstable.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; [
(nixpkgs-unstable.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 = ''
${config.home.homeDirectory}/code/agda-stdlib/standard-library.agda-lib
${config.home.homeDirectory}/code/agda-categories/agda-categories.agda-lib
'';
}