2021-03-31 20:49:09 +02:00
|
|
|
{ pkgs, lib, ... }:
|
|
|
|
|
2022-01-30 17:06:58 +01:00
|
|
|
pkgs.stdenv.mkDerivation {
|
2024-03-01 09:56:17 +01:00
|
|
|
pname = "tvix-docs";
|
2021-03-31 20:49:09 +02:00
|
|
|
version = "0.1";
|
|
|
|
|
2024-03-01 09:56:17 +01:00
|
|
|
outputs = [ "out" ];
|
2021-04-01 00:35:04 +02:00
|
|
|
|
2021-03-31 20:49:09 +02:00
|
|
|
src = lib.cleanSource ./.;
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
2024-06-13 20:57:53 +02:00
|
|
|
pkgs.d2
|
2024-03-01 09:56:17 +01:00
|
|
|
pkgs.mdbook
|
2024-06-13 20:37:16 +02:00
|
|
|
pkgs.mdbook-admonish
|
2024-06-13 20:57:53 +02:00
|
|
|
pkgs.mdbook-d2
|
2024-03-01 09:56:17 +01:00
|
|
|
pkgs.mdbook-plantuml
|
2021-03-31 20:49:09 +02:00
|
|
|
pkgs.plantuml
|
|
|
|
];
|
|
|
|
|
2024-03-01 09:56:17 +01:00
|
|
|
# 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
|
2021-03-31 20:49:09 +02:00
|
|
|
'';
|
|
|
|
}
|