tvl-depot/users/glittershark/system/home/modules/development/agda.nix
Vincent Ambo 81564185e9 Add 'users/glittershark/system/' from commit '3b174300ae60f63f50427cde3bfd680fd3043c3a'
git-subtree-dir: users/glittershark/system
git-subtree-mainline: 85d82a9dc2
git-subtree-split: 3b174300ae
2020-06-16 01:02:24 +01:00

61 lines
1.2 KiB
Nix

{ 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
'';
}