libk  Diff

Differences From Artifact [5ae929ce03]:

• File dist/libk.nix — part of check-in [009b0289f2] at 2019-11-01 06:28:50 on branch trunk — Mostly fix NixOS build. Docs are still broken. The rest of the problems, mostly from small changes since NixOS was last tested, are fixed. (user: glowpelt, size: 1378) [annotate] [blame] [check-ins using]

To Artifact [ce494d8fd7]:

• File dist/libk.nix — part of check-in [9408112a57] at 2019-11-01 07:52:52 on branch trunk — 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. (user: glowpelt, size: 1392) [annotate] [blame] [check-ins using]

    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.