forked from IntersectMBO/cardano-ledger
-
Notifications
You must be signed in to change notification settings - Fork 0
/
flake.nix
66 lines (58 loc) · 1.72 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
56
57
58
59
60
61
62
63
64
65
66
{
outputs = inputs: {
packages =
builtins.mapAttrs (_: {nixpkgs, ...}: {
default = with nixpkgs;
buildLatex {
name = "shelley-ledger-spec";
texFiles = ["shelley-ledger"];
meta = with lib; {
description = "Shelley Ledger Specification";
license = licenses.asl20;
platforms = platforms.linux;
};
src = filterLatex ./.;
texInputs = {
inherit
(texlive)
scheme-small
# libraries
stmaryrd
lm-math
amsmath
extarrows
cleveref
semantic
xcolor
xstring
paralist
cm-super
tocloft
# bclogo and dependencies
bclogo
mdframed
xkeyval
etoolbox
needspace
# font libraries `mathpazo` seems to depend on palatino, but it isn't pulled.
mathpazo
palatino
microtype
# libraries for marginal notes
xargs
todonotes
# Tikz
pgf
tikz-cd
# build tools
latexmk
# Referencing
zref
;
};
buildInputs = [gitMinimal];
};
})
(inputs.main or (import ../../../nix/flake-compat.nix).defaultNix).legacyPackages;
};
}