Merge PR #16283: [default.nix] Put buildDoc back to true and update…

… nixpkgs to get Sphinx 4.5. Reviewed-by: Alizter Reviewed-by: vbgl Co-authored-by: Alizter <Alizter@users.noreply.github.com>
coq · Jul 9, 2022 · 7a86c76 · 7a86c76
2 parents 672b144 + a88e318
commit 7a86c76
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/default.nix b/default.nix
@@ -24,7 +24,7 @@
 { pkgs ? import ./dev/nixpkgs.nix {}
 , ocamlPackages ? pkgs.ocaml-ng.ocamlPackages_4_12
 , buildIde ? true
-, buildDoc ? false
+, buildDoc ? true
 , doInstallCheck ? true
 , shell ? false
   # We don't use lib.inNixShell because that would also apply

diff --git a/dev/nixpkgs.nix b/dev/nixpkgs.nix
@@ -1,4 +1,4 @@
 import (fetchTarball {
-  url = "https://github.com/NixOS/nixpkgs/archive/46e3ed49ec36f341c173331dc788115d6836c7ab.tar.gz";
-  sha256 = "0lr8lry0d3skb287f0wbm46iakr1q7vqqy6y54r9hl2jb3d18z9z";
+  url = "https://github.com/NixOS/nixpkgs/archive/16de63fcc54e88b9a106a603038dd5dd2feb21eb.tar.gz";
+  sha256 = "13nw1d09pkxmnn7i6sh1d9p2a88m0jx2n4izvcb39g9cyjfvci3d";
 })