forked from IntersectMBO/cardano-ledger
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdefault.nix
45 lines (34 loc) · 1.09 KB
/
default.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
{ pkgs ? import ../../nix/default.nix {} }:
with pkgs;
latex.buildLatex {
name = "delegation-design-spec";
texFiles = [ "delegation_design_spec" ];
meta = with lib; {
description = "Delegation Design Specification";
license = licenses.asl20;
platforms = platforms.linux;
};
src = latex.filterLatex ./.;
texInputs = {
inherit (texlive)
scheme-small
# fonts
cm-super
# libraries
stmaryrd lm-math amsmath
extarrows cleveref
titlesec
# font libraries `mathpazo` seems to depend on palatino, but it isn't pulled.
mathpazo palatino microtype
# libraries for marginal notes
xargs todonotes
# drawing
pgf
# build tools
latexmk
# Referencing
zref
;
};
buildInputs = [ gitMinimal ];
}