From 0a01590462678d8374f11ddc60d68a569fa3df9c Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 1 Oct 2018 07:26:52 +0000
Subject: [default.nix] Add odoc to the documentation build-inputs

---
 default.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 6b24a8853c..1faaafae03 100644
--- a/default.nix
+++ b/default.nix
@@ -55,6 +55,7 @@ stdenv.mkDerivation rec {
       (ps: [ ps.sphinx ps.sphinx_rtd_theme ps.pexpect ps.beautifulsoup4
              ps.antlr4-python3-runtime ps.sphinxcontrib-bibtex ]))
     antlr4
+    ocamlPackages.odoc
   ]
   ++ optionals doInstallCheck (
     # Test-suite dependencies
-- 
cgit v1.2.3