Am Donnerstag, den 09.03.2017, 16:19 +0100 schrieb Michael Olbrich:
> On Thu, Mar 09, 2017 at 10:37:06AM +0100, Markus Niebel wrote:
> > From: Markus Niebel
> >
> > the libhogweed part requires libgmp. Let's make it configurable.
> >
>
> This seems wrong. My
On Thu, Mar 09, 2017 at 10:37:06AM +0100, Markus Niebel wrote:
> From: Markus Niebel
>
> the libhogweed part requires libgmp. Let's make it configurable.
>
This seems wrong. My understanding is, that the --enable-mini-gmp options
exists to avoid the libgmp