diff options
| author | Vincent Laporte | 2018-10-01 07:26:52 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-01 07:26:52 +0000 |
| commit | 0a01590462678d8374f11ddc60d68a569fa3df9c (patch) | |
| tree | f1d6cf40122d4146bde1cccb6111d6bedd3e07b1 | |
| parent | 0e83e7ea03ccc3f97325211c1fb60f8c04c67225 (diff) | |
[default.nix] Add odoc to the documentation build-inputs
| -rw-r--r-- | default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
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 |