libk: Check-in [9408112a57]

Overview

Comment:	Disable PDF docs on NixOS. As it seems groff PDF support is currently broken on NixOS (https://github.com/NixOS/nixpkgs/issues/53056), disable the building of PDFs in the NixOS build.
Downloads:	Tarball \| ZIP archive \| SQL archive
Timelines:	family \| ancestors \| descendants \| both \| trunk
Files:	files \| file ages \| folders
SHA3-256:	9408112a574d07245cfbe01cb7e872da4bf8d1f97709fdee64643ecbc8fa184b
User & Date:	glowpelt on 2019-11-01 07:52:52
Other Links:	manifest \| tags

Context

2019-11-19
05:06		add posix signal numbers; continue work on kcli check-in: 8d478e0b3c user: lexi tags: trunk
2019-11-01
07:52		Disable PDF docs on NixOS. As it seems groff PDF support is currently broken on NixOS (https://github.com/NixOS/nixpkgs/issues/53056), disable the building of PDFs in the NixOS build. check-in: 9408112a57 user: glowpelt tags: trunk
06:38		Merge accidental fork. check-in: bb6911fe4f user: glowpelt tags: trunk

Changes

Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Modified dist/libk.nix from [5ae929ce03] to [ce494d8fd7].

    12     12   
    13     13     # TODO: maybe make this more generic? IIRC I couldn't use the
    14     14     # patch-everything whatever, for some reason. It also probably should be in
    15     15     # an earlier build step.
    16     16     buildPhase = ''
    17     17       substituteInPlace global/build-id.sh --replace "/usr/bin/env bash" "${stdenv.shell}"
    18     18       substituteInPlace global/build-manpage.sh --replace "/usr/bin/env bash" "${stdenv.shell}"
    19         -    env os=lin arch=x86 bits=64 to=$prefix debug=yes \
           19  +    env os=lin arch=x86 bits=64 to=$prefix debug=yes doc_pdf=false \
    20     20       bash build.sh
    21     21     '';
    22     22   
    23     23     # No proper install yet...
    24     24     dontInstall = true;
    25     25   
    26     26     # Not sure if these work or are needed, but better safe than sorry, here.

libk Check-in [9408112a57]