break out an agda.nix

This commit is contained in:
Griffin Smith 2020-06-15 11:54:01 -04:00
parent 3c61742a37
commit f59e705eca
3 changed files with 62 additions and 4 deletions

View file

@ -32,6 +32,7 @@ with lib;
./lib/zshFunctions.nix
./development/kube.nix
./development/urbint.nix
./development/agda.nix
];
home.packages = with pkgs; [
@ -48,8 +49,6 @@ with lib;
clj2nix
haskellPackages.Agda
AgdaStdlib
pg-dump-upsert
(import ../pkgs/clang-tools { inherit pkgs; })

View file

@ -0,0 +1,61 @@
{ 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
'';
}

View file

@ -21,8 +21,6 @@ in {
config = mkMerge [
{
home.packages = with pkgs; [
haskellPackages.Agda
# LaTeX (for org export)
(pkgs.texlive.combine {
inherit (pkgs.texlive)