Merge PR #7287: [default.nix] Build doc with nix-build.

1 files changed, 6 insertions, 2 deletions

diff --git a/default.nix b/default.nix
index 26c6e4b901..0b47942748 100644
--- a/default.nix
+++ b/default.nix
@@ -32,6 +32,7 @@
 }:
 
 with pkgs;
+with stdenv.lib;
 
 stdenv.mkDerivation rec {
 
@@ -61,8 +62,7 @@ stdenv.mkDerivation rec {
   ] else []) ++ (if doCheck then
 
     # Test-suite dependencies
-    let inherit (stdenv.lib) versionAtLeast optional; in
-    /* ncurses is required to build an OCaml REPL */
+    # ncurses is required to build an OCaml REPL
     optional (!versionAtLeast ocaml.version "4.07") ncurses
     ++ [
     python
@@ -90,6 +90,10 @@ stdenv.mkDerivation rec {
 
   prefixKey = "-prefix ";
 
+  buildFlags = optionals buildDoc [ "world" "sphinx" ];
+
+  installTargets = [ "install" ] ++ optional buildDoc "install-doc-sphinx";
+
   inherit doCheck;
 
 }