path: root/tvix/docs/default.nix

{ pkgs, lib, ... }:

pkgs.stdenv.mkDerivation {
  pname = "tvix-docs";
  version = "0.1";

  outputs = [ "out" ];

  src = lib.cleanSource ./.;

  nativeBuildInputs = [
    pkgs.mdbook
    pkgs.mdbook-plantuml
    pkgs.plantuml
  ];

  # plantuml wants to create ./.mdbook-plantuml-cache, which fails as $src is r/o.
  # copy all sources elsewhere to workaround.
  buildCommand = ''
    cp -R $src/. .
    mdbook build -d $out
  '';
}