chakravala / Reduce.jl

Symbolic parser for Julia language term rewriting using REDUCE algebra

Home Page:http://www.reduce-algebra.com/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use BinaryBuilder / Yggdrasil to deliver reduce binaries

jeremiahpslewis opened this issue · comments

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.

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.

👍 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.

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