diff options
| -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 |