USE_BINARYBUILDER* has no effect in Make.user

[owainkenwayucl]

With Julia 1.2.0 on RHEL 7.x I ran across this issue: #31555

In attempting to resolve it, I determined that setting any of the USE_BINARYBUILDER* options (e.g. USE_BINARYBUILDER, USE_BINARYBUILDER_LIBUV options in Make.user had no effect on the build process - make still uses the binary versions of the library triggering the bug. Adding those options to Make.inc however does result in them taking effect.

Make.user is being read for other purposes (for example the install location) so it's not an issue that the file has the wrong name/location etc.

[fredrikekre]

Fixed by #32044 ? Should work on 1.2 if you use override though.

[owainkenwayucl]

Possibly. How did this not make it into 1.2.0?

[KristofferC]

The branch for 1.2 was in April and the PR was not marked with the backport label.

[owainkenwayucl]

OK - I'll close this on the basis that it'll be resolved in future versions.

[KristofferC]

1.3 should be (no jinx plzplz) good to go really soon so shouldn't have to wait long.

[vchuravy]

OK - I'll close this on the basis that it'll be resolved in future versions.

In the mean time you can use override USE_*