Skip to content

fix gmp enabled

Moritz Angermann requested to merge wip/angerman/fix-gmp-enabled into ghc-9.2

Respect the GMP_ENABLED value. If it's not set, don't try to use GMP.

Merge request reports