Remove --with-gmp-dir and --with-mpfr-dir
authorTom Tromey <tromey@adacore.com>
Mon, 28 Mar 2022 20:15:36 +0000 (14:15 -0600)
committerTom Tromey <tromey@adacore.com>
Mon, 28 Mar 2022 20:18:57 +0000 (14:18 -0600)
commit88252529f0fcecadb4b67456e6107384e1a2a6ae
tree46f5a8fcbf8e54f5556f0b7be0961192dca1277f
parent00635b6cf3a6854323d8a868dc203a41205e1dcc
Remove --with-gmp-dir and --with-mpfr-dir

The top-level configure options --with-gmp-dir and --with-mpfr-dir
were obsoleted and marked as "REMOVED" back in 2006.  I think that's
long enough ago for everyone to have updated their scripts, so this
patch removes them entirely.  While doing this, I also found one other
leftover that wasn't removed by the earlier patch.  This is also
removed here.

2022-03-28  Tom Tromey  <tromey@adacore.com>

* configure.ac: Remove --with-mpfr-dir and --with-gmp-dir.
* configure: Rebuild.
configure
configure.ac