diff options
author | Orivej Desh <orivej@gmx.fr> | 2018-06-03 22:42:52 +0000 |
---|---|---|
committer | Orivej Desh <orivej@gmx.fr> | 2018-06-03 22:44:15 +0000 |
commit | 33ed2af2a7c6f90f5abb691cecce66b4382b00b0 (patch) | |
tree | 2d8e01d7d86621572bfee70c51b87a433a867b1f /pkgs/development/tools/build-managers/ninja/default.nix | |
parent | 41c8b92d4fc4da9c5026342df4700635afbd5ef2 (diff) |
ninja: support cross compilation
Diffstat (limited to '')
-rw-r--r-- | pkgs/development/tools/build-managers/ninja/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/development/tools/build-managers/ninja/default.nix b/pkgs/development/tools/build-managers/ninja/default.nix index 6f788fc5ed6c..b1df54f9bd5c 100644 --- a/pkgs/development/tools/build-managers/ninja/default.nix +++ b/pkgs/development/tools/build-managers/ninja/default.nix @@ -15,7 +15,9 @@ stdenv.mkDerivation rec { buildPhase = '' python configure.py --bootstrap - ./ninja manual + # "./ninja -vn manual" output copied here to support cross compilation. + asciidoc -b docbook -d book -o build/manual.xml doc/manual.asciidoc + xsltproc --nonet doc/docbook.xsl build/manual.xml > doc/manual.html ''; installPhase = '' |