From 53794457f39ff07a59c4a1229180bd64c18631c1 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 17 Apr 2018 13:11:52 +0200
Subject: [default.nix] Build doc with nix-build.

---
 default.nix | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 26c6e4b90..0b4794274 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;
 
 }
-- 
cgit v1.2.3