-
Notifications
You must be signed in to change notification settings - Fork 5
/
flake.nix
55 lines (47 loc) · 1.57 KB
/
flake.nix
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
{
description = "Category theory for denotational design";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.05";
utils.url = "github:numtide/flake-utils";
};
outputs = { self, nixpkgs, utils }:
utils.lib.eachDefaultSystem (system:
let
pkgs = nixpkgs.legacyPackages.${system};
agdaWithStandardLibrary = pkgs.agda.withPackages (p: [ p.standard-library ]);
in {
checks.whitespace = pkgs.stdenvNoCC.mkDerivation {
name = "check-whitespace";
dontBuild = true;
src = ./.;
doCheck = true;
checkPhase = ''
${pkgs.haskellPackages.fix-whitespace}/bin/fix-whitespace --check
'';
installPhase = ''mkdir "$out"'';
};
devShells.default = pkgs.mkShell {
buildInputs = [
agdaWithStandardLibrary
pkgs.graphviz
pkgs.haskellPackages.fix-whitespace
];
};
packages.default = pkgs.agdaPackages.mkDerivation {
pname = "felix";
version = "0.0.1";
src = ./.;
buildInputs = with pkgs.agdaPackages; [ standard-library ];
everythingFile = "./src/Felix/All.agda";
meta = with pkgs.lib; {
description = "Category theory for denotational design";
homepage = "https://github.com/conal/felix";
# no license file, all rights reserved?
# license = licenses.mit;
# platforms = platforms.unix;
# maintainers = with maintainers; [ ];
};
};
}
);
}