diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-07-28 12:59:50 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-11 08:53:50 -0400 |
commit | 74a87aa3046f3eb871e5442579e9a2945ef691d4 (patch) | |
tree | af2b7166ad8d9d92a3f569b96872a06e73ef3ced | |
parent | 87d93745fa14344a26ab242fd5db35e654e1da48 (diff) | |
download | haskell-74a87aa3046f3eb871e5442579e9a2945ef691d4.tar.gz |
distrib: Drop FP_GMP from configure script
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@ |