Use BinaryBuilder / Yggdrasil to deliver reduce binaries

[jeremiahpslewis]

Hey! Just wondering if you have considered / would entertain using Yggdrasil and BinaryBuilder to ship the reduce binary instead of installing it as part of the package.

[chakravala]

Yea, I thought about it, but it seems like an unecessary exercise. Also, this package can detect if the binaries were already installed on the system. In that case, Reduce.jl does not download anything.

[jeremiahpslewis]

👍 sounds good. if at some point you think it would be useful, let me know and I'd be happy to (attempt) to pull a PR together to make it available.

[chakravala]

I prefer the philosophy of depending on my system packages to minimize redundancy. Yggradsil has the opposite philosophy, it assumes everyone needs the same exact binaries regardless if they are duplicates or different from the operating system. I do not like to subscribe to this philosophy in the release of Reduce.jl software