From 3720edfc06ee8687b54ee7fbb908c9f03f4fc557 Mon Sep 17 00:00:00 2001 From: Kristoffer Carlsson Date: Mon, 3 Feb 2020 21:02:37 +0100 Subject: [PATCH] Remove `JULIA_PKGRESOLVE_ACCURACY` env var from the docs (#34628) There is no need to have this in the docs. It is not tested and it is part of the internals of the resolver. --- doc/src/manual/environment-variables.md | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/doc/src/manual/environment-variables.md b/doc/src/manual/environment-variables.md index 1ef19f4f29b88..2fb4cbf893518 100644 --- a/doc/src/manual/environment-variables.md +++ b/doc/src/manual/environment-variables.md @@ -146,20 +146,6 @@ The absolute path `REPL.find_hist_file()` of the REPL's history file. If $(DEPOT_PATH[1])/logs/repl_history.jl ``` -### `JULIA_PKGRESOLVE_ACCURACY` - -A positive `Int` that determines how much time the package dependency resolver's max-sum -subroutine `MaxSum.maxsum()` will devote to attempting to satisfy constraints before giving -up. This value's default is `1`, with higher values corresponding to longer amounts of -time. - -Suppose the value of `$JULIA_PKGRESOLVE_ACCURACY` is `n`. Then - -* the number of pre-decimation iterations is `20*n`, -* the number of iterations between decimation steps is `10*n`, and -* at decimation steps, at most one in every `20*n` packages is decimated. - - ## External applications ### `JULIA_SHELL`