From 4aaf28cc905bebf757b02ad911a6eed78714cac7 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Fri, 10 Feb 2017 15:52:24 +0100
Subject: Integration of a sphinx-based documentation generator.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The original contribution is from Clément Pit-Claudel. I updated
his code and integrated it with the Coq build system. Many improvements
by Paul Steckler (MIT).

This commit adds the infrastructure but no content.
---
 default.nix | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index af2a13a84..2011bf574 100644
--- a/default.nix
+++ b/default.nix
@@ -22,7 +22,7 @@
 # a symlink to where Coq was installed.
 
 { pkgs ? (import <nixpkgs> {}), ocamlPackages ? pkgs.ocamlPackages,
-  buildIde ? true, doCheck ? true }:
+  buildIde ? true, buildDoc ? true, doCheck ? true }:
 
 with pkgs;
 
@@ -43,6 +43,15 @@ stdenv.mkDerivation rec {
     # CoqIDE dependencies
     ocamlPackages.lablgtk
 
+  ] else []) ++ (if buildDoc then [
+
+    # Sphinx doc dependencies
+    ocamlPackages.lablgtk
+    pkgconfig (python3.withPackages
+      (ps: [ ps.sphinx ps.sphinx_rtd_theme ps.pexpect ps.beautifulsoup4
+             ps.antlr4-python3-runtime ps.sphinxcontrib-bibtex ]))
+     antlr4
+
   ] else []) ++ (if doCheck then
 
     # Test-suite dependencies
-- 
cgit v1.2.3