As requested for the Homebrew package: it would be preferrable to be able to run `make install PREFIX=...` instead of manually copying binaries. https://github.com/Homebrew/homebrew-core/pull/25140
As requested for the Homebrew package: it would be preferrable to be able to run
make install PREFIX=...instead of manually copying binaries.Homebrew/homebrew-core#25140