* Bump ci-images pin

* Combine Debian 10 and 11 in a matrix job

* Add most of the GHC 9.6.1 platforms that fit on the x86_64 runners

* Add centos7

Extends the "configure" logic in .gitlab/ci.sh :(

* Remove platforms unsupported by GHC 9.6.1 or Cabal 3.8.1

* Remove aarch64-linux-deb10

GHCUp fails to run on aarch64-linux-deb10 due to a glibc mismatch.

aarch64-linux-deb11 would work, but there is no GHC release for that
version yet.

* Reset GitLab CI verbosity

---------

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Add --project-dir flag

See discussion at https://github.com/haskell/cabal/issues/6006

* Split Distribution.Simple.Setup into smaller modules

The main motivation is to improve parallelism of the module graph.
This improves compile times as we can benefit more from multiple cores,
but also because GHC is superlinear in the size and complexity of source
files.

Each set of command line options is moved to its own file, and common
utilities are moved into .Common.

The interface is kept the same and new modules aren't exposed.

* Refine some imports of Distribution.Simple.Setup

* fixup! Split Distribution.Simple.Setup into smaller modules

fix whitespace

* Refine imports of Distribution.Simple.Setup in Cabal

Replace imports of Distribution.Simple.Setup with direct imports of
the modules that it re-exports. Some imports are left if most
re-exported modules are used.

* Add a changelog entry

---------

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Combine non-installable & non-upgradable packages

* Typo

Co-authored-by: Artem Pelenitsyn <a.pelenitsyn@gmail.com>

* Remove requireInstalled

* Revert "Remove requireInstalled"

This reverts commit adfce2456a715b02def39adf65fd95d317514cca.

* Comment only [skip ci]

---------

Co-authored-by: Artem Pelenitsyn <a.pelenitsyn@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Add `Distribution.Client.Main`

This makes it easier to integrate `cabal-install` into other tools.

Add traceM and traceShowM

Cabal codebase has its fair share of Applicatives/Monads. Adding
traceM and traceShowM to the Prelude.Compat is quite convenient
for testing purposes.

Changing a file from `extra-source-files` causes `cabal build` to
reevaluate the build plan, judging from the following behavior.

```console
$ cabal build
...

$ cabal build
Up to date

  # Make a change to any of the extra-source-files, e.g. Foo.txt

$ cabal build
...
In order, the following would be built (use -v for more details):
 - ... (lib) (file Foo.txt changed)
...
```

One notes here that the 3rd `cabal build` does not just output "Up to date".

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Doc: bump to Python 3.10; Sphinx 5.3.0. Remove `--constraint: foo -none` & some polishing

For the moment, readthedocs.org does not support Sphinx 6.

- `PACKAGE -none` as already been removed in 3.4 as valid constraint.
(I guess this is now flag syntax.)

- Important constraint `installed` was just buried in an example, I made
it stand out more in a bullet point.
Same for `source`, even though this is an exotic constraint.

- Highlight constraint `installed` in connection with `allow-newer`.

- Group `test` and `bench` constraint with the `+/-FLAG` constraints.

Fixup: Apply concrete suggestions from code review

Fixes suggested by @ulysses4ever, thanks@

Co-authored-by: Artem Pelenitsyn <a.pelenitsyn@gmail.com>

* Apply command line flags to install packages (#8637)

* remove expectBroken on NonIgnoredConfigs test

---------

Co-authored-by: gbaz <gershomb@gmail.com>

CI: add GHC pre-release

Had to block lib/cli-suite tests on Windows, see discussion starting here:

- https://github.com/haskell/cabal/pull/8754#issuecomment-1435025848

- -XTypeInType is deprecated
- skip failing JS test on Windows
  Cf. https://github.com/haskell/cabal/pull/8754#issuecomment-1435535763
- deal with lift2A in Prelude since base-4.18 (GHC 9.6)
- disable everfailing Backpack tests

* Disallow GHC <8.0

closes #8715

* Add changelog entry

cabal-testsuite: new `instance Show TestEnv`

The `Show` instance for `TestEnv` is helpful in debugging testcases.
While it produces large Haskell expressions not for consumption by the
naked eye, it can be inspected in viewers like `ppshow`.

https://hackage.haskell.org/package/pretty-show

The field `testRecordNormalizer :: String -> String` of the `TestEnv`
record seems to be a hook to arbitrarily reformat the recorded output
of a test.  However, it is ever only set to `id`.

On the other hand, being of function type, this field prevents us from
deriving a `Show` instance.  Thus, it is being removed as dead code.

Fix `config` format docs.

Documentation says “config (same format as cabal.project)”, but
it is an internal binary format.

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

don't auto-download in hash validation phase

* (cabal init) make BSD-3-Clause default

* Add changelog for #8757

* Modify test to incorporate new BDS-3 default

---------

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Bump cabal-bootstrap-gen to GHC 9.4.4 ecosystem

I updated the dependencies in the .cabal bootstrap file and
sightly adjusted src/Main.hs for the `I.riCabal → I.riCabalHash`
change.

Fixes #8613

doctests: switch to the preffered method of calling the tool

which is `cabal repl --with-ghc=doctest`. This not only catches up with
the current upstream recommendations, but also simplifies the usage:
before this change calling doctest required you to set up an environment
with QuickCheck available (we used to do it via cabal-env). The new
method takes care of it automatically.

Also add some docs to fix #8147

Revert "Fix project-local build flags being ignored."

This reverts commit b547ead5
from https://github.com/haskell/cabal/pull/8623.
Unexpected side-effect has been found, so these code
improvements have to be done differently.
The other commit in the PR is a test and it's retained.