diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-07-28 12:59:50 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-07-28 13:32:07 -0400 |
| commit | 50c2c4b28cf6abde9aa7cd81163250d46c420481 (patch) | |
| tree | 583771164d28b60fa7598ffce16121783341ecac | |
| parent | 10678945c1d3261273a1d7a389d14a69f4e28567 (diff) | |
| download | haskell-wip/gmp-configure.tar.gz | |
distrib: Drop FP_GMP from configure scriptwip/gmp-configure
None of the configure options defined by `FP_GMP` are applicable to
binary distributions.
| -rw-r--r-- | distrib/configure.ac.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/distrib/configure.ac.in b/distrib/configure.ac.in index be3a390644..2a3425b1a6 100644 --- a/distrib/configure.ac.in +++ b/distrib/configure.ac.in @@ -13,8 +13,6 @@ dnl-------------------------------------------------------------------- dnl * Deal with arguments telling us gmp is somewhere odd dnl-------------------------------------------------------------------- -FP_GMP - dnl Various things from the source distribution configure bootstrap_target=@TargetPlatform@ |