Merge branch 'improve-configure'

Modernize configure.

See #23730.
This commit is contained in:
Vadim Zeitlin 2023-07-28 13:25:52 +02:00
commit e8fdb66741
47 changed files with 1117 additions and 10959 deletions

1907
configure vendored

File diff suppressed because it is too large Load diff