On Wed, Jul 31, 2019 at 10:29:56AM +0100, Laurence Parry wrote: > The issue appears to have been reported upstream as > "cborg fails to compile when optimize-gmp is disabled" > https://github.com/well-typed/cborg/issues/193
Patch applied, but I'm curious as to why optimize-gmp is False.