build doc with nix

viperML · Jul 10, 2023 · 68f25d6 · 68f25d6
1 parent 862a879
commit 68f25d6
Show file tree

Hide file tree

Showing 3 changed files with 37 additions and 8 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -57,9 +57,8 @@ jobs:
         uses: DeterminateSystems/magic-nix-cache-action@main
       - name: Build doc
         run: |
-          pushd doc
-          nix develop .#doc --command just build
-          popd
+          nix build .#doc -L
+          cp -vL ./result/*.pdf .
 
       - uses: ncipollo/release-action@v1
         name: Release
@@ -70,7 +69,7 @@ jobs:
           omitName: true
           allowUpdates: true
           replacesArtifacts: true
-          artifacts: "doc/out/index.pdf"
+          artifacts: "*.pdf"
 
   tag:
     runs-on: ubuntu-latest

diff --git a/doc/.envrc b/doc/.envrc
@@ -2,4 +2,4 @@ watch_file default.nix
 watch_file ../flake.nix
 watch_file ../flake.lock
 
-use flake .#doc
+use flake .#doc-dev
diff --git a/doc/default.nix b/doc/default.nix
@@ -1,6 +1,11 @@
-{pkgs, ...}: {
-  devShells.doc = pkgs.mkShellNoCC {
-    packages = [
+{
+  pkgs,
+  config,
+  ...
+}: {
+  packages.doc = pkgs.stdenvNoCC.mkDerivation {
+    name = "miq-doc";
+    nativeBuildInputs = [
       pkgs.just
       (pkgs.python3.withPackages (p: [
         p.pygments
@@ -29,6 +34,31 @@
           setspace
           ;
       })
+      pkgs.which
     ];
+
+    src = ./.;
+
+    buildPhase = ''
+      runHook preBuild
+      just clean build
+      runHook postBuild
+    '';
+
+    installPhase = ''
+      runHook preInstall
+
+      mkdir -p $out
+      cp -vL out/index.pdf $out
+
+      runHook postInstall
+    '';
+
+    TEXMFHOME = "./cache";
+    TEXMFVAR = "./cache/var";
   };
+
+  packages.doc-dev = config.packages.doc.overrideAttrs (_: {
+    src = null;
+  });
 }