aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/tools/build-managers/ninja/default.nix
diff options
context:
space:
mode:
authorOrivej Desh <orivej@gmx.fr>2018-06-03 22:42:52 +0000
committerOrivej Desh <orivej@gmx.fr>2018-06-03 22:44:15 +0000
commit33ed2af2a7c6f90f5abb691cecce66b4382b00b0 (patch)
tree2d8e01d7d86621572bfee70c51b87a433a867b1f /pkgs/development/tools/build-managers/ninja/default.nix
parent41c8b92d4fc4da9c5026342df4700635afbd5ef2 (diff)
ninja: support cross compilation
Diffstat (limited to '')
-rw-r--r--pkgs/development/tools/build-managers/ninja/default.nix4
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 = ''