This repository contains the nix
setup needed for building LaTeX
documents
in a reproducible manner. It was inspired by the IOHK formal
specifications.
To build the latex document run:
nix-shell --pure --run make
The document can be built using nix-build
. After running this command look
inside the result
directory.
For a continuous compilation of the LaTeX
file run:
nix-shell --pure --run "make watch"
Most likely you will need other LaTeX
packages. These can be added in the
default.nix
file.
Note that when adding a new package, it might be necessary to run:
nix-shell --pure --run "make clean"
Change this nix/nixpkgs-src.json
to the desired
nixpkgs
version by running:
nix-prefetch-git https://github.com/nixos/nixpkgs $version
and copying the resulting rev
fields. In the snippet above $version will be
the desired nixpkgs
version, e.g. 18.09
.