deploy: ea20911

leanprover · Nov 5, 2023 · 6a94942 · 6a94942
1 parent 5c6dd08
commit 6a94942
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/doc/env-vars b/doc/env-vars
@@ -8,15 +8,15 @@ declare -x HOST_PATH="/nix/store/5xxcrrffz44hifz1pm4qg7idp6cv59x7-lean-mdbook-0.
 declare -x LD="ld"
 declare -x NIX_BINTOOLS="/nix/store/vrhv7hg2jqvj78zd8xk42n70bf17i6hb-binutils-wrapper-2.40"
 declare -x NIX_BINTOOLS_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu="1"
-declare -x NIX_BUILD_CORES="2"
+declare -x NIX_BUILD_CORES="4"
 declare -x NIX_BUILD_TOP="/build"
 declare -x NIX_CC="/nix/store/frxg2hvacachpkv3ywdpmfl5pl2yg5y6-gcc-wrapper-12.3.0"
 declare -x NIX_CC_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu="1"
-declare -x NIX_CFLAGS_COMPILE=" -frandom-seed=jqmpzqwl2n"
+declare -x NIX_CFLAGS_COMPILE=" -frandom-seed=4f6xhd3ci4"
 declare -x NIX_ENFORCE_NO_NATIVE="1"
 declare -x NIX_ENFORCE_PURITY="1"
 declare -x NIX_HARDENING_ENABLE="fortify stackprotector pic strictoverflow format relro bindnow"
-declare -x NIX_LDFLAGS="-rpath /nix/store/jqmpzqwl2nqwn0jjb2ym03rgrf0h0nxd-lean-doc/lib "
+declare -x NIX_LDFLAGS="-rpath /nix/store/4f6xhd3ci4aa81pgbazq6mwzfycvh8fq-lean-doc/lib "
 declare -x NIX_LOG_FD="2"
 declare -x NIX_SSL_CERT_FILE="/no-cert-file.crt"
 declare -x NIX_STORE="/nix/store"
@@ -43,7 +43,7 @@ declare -x TMPDIR="/build"
 declare -x TZ="UTC"
 declare -x XDG_DATA_DIRS="/nix/store/lgapq71q5prr2b8ksz43wyxmk2bg83j9-patchelf-0.15.0/share"
 declare -x __structuredAttrs=""
-declare -x buildCommand=$'mkdir $out\n# necessary for `additional-css`...?\ncp -r --no-preserve=mode $src/doc/* .\n# overwrite stub .lean.md files\ncp -r /nix/store/zb7m75vxzk1jp8fg6xxif2c3wghdryry-literate-mds/* .\nmdbook build -d $out\n'
+declare -x buildCommand=$'mkdir $out\n# necessary for `additional-css`...?\ncp -r --no-preserve=mode $src/doc/* .\n# overwrite stub .lean.md files\ncp -r /nix/store/z7zb6ycag41awglxav0a37ihpalkkh2a-literate-mds/* .\nmdbook build -d $out\n'
 declare -x buildInputs="/nix/store/5xxcrrffz44hifz1pm4qg7idp6cv59x7-lean-mdbook-0.4.30"
 declare -x builder="/nix/store/xfb3ykw9r5hpayd05sr0cizwadzq1d8q-bash-5.2-p15/bin/bash"
 declare -x cmakeFlags=""
@@ -61,7 +61,7 @@ declare -x doInstallCheck=""
 declare -x mesonFlags=""
 declare -x name="lean-doc"
 declare -x nativeBuildInputs=""
-declare -x out="/nix/store/jqmpzqwl2nqwn0jjb2ym03rgrf0h0nxd-lean-doc"
+declare -x out="/nix/store/4f6xhd3ci4aa81pgbazq6mwzfycvh8fq-lean-doc"
 declare -x outputs="out"
 declare -x patches=""
 declare -x propagatedBuildInputs=""