This repository has been archived by the owner on Oct 28, 2021. It is now read-only.

allow for gmp only build #4894

Open

ghost opened this issue Mar 16, 2018 · 1 comment

Labels

build help wanted

ghost commented Mar 16, 2018

...debian is not going to want mpir and gmp libraries at the same time. Ideally there would be an option to not build with mpir?

https://lists.debian.org/debian-science/2015/03/msg00021.html

This is basically a subproblem of #3110 from the sounds of it.

other example: Macaulay2/M2#285

Member

chfast commented Mar 16, 2018

MPIR is statically linked, so should affect the system.

Yes, you can add an option to use system packages of GMP and/or MPIR. It should improve the performance of ZK precompiles.

chfast added build help wanted labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.