Assertion failure at Distribution/Client/ProjectPlanning.hs:242:5 with --enable-documentation

[sjakobi]

Repro:

≻ rm -rf propellor-5.7.0/
≻ cabal get propellor
Unpacking to propellor-5.7.0/
≻ cd propellor-5.7.0/
≻ cabal build --enable-documentation
Resolving dependencies...
Build profile: -w ghc-8.6.4 -O1
In order, the following will be built (use -v for more details):
Assertion failed
CallStack (from HasCallStack):
  assert, called at ./Distribution/Client/ProjectPlanning.hs:242:5 in main:Distribution.Client.ProjectPlanning

This is the problematic assertion:

cabal/cabal-install/Distribution/Client/ProjectPlanning.hs

Lines 238 to 244 in 4061bfa

	-- either a package is being built inplace, or the
	-- 'installedPackageId' we assigned is consistent with
	-- the 'hashedInstalledPackageId' we would compute from
	-- the elaborated configured package
	. assert (elabBuildStyle == BuildInplaceOnly ||
	elabComponentId == hashedInstalledPackageId
	(packageHashInputs sharedConfig elab))

[philderbeast]

I can reproduce this and with tracing at the point of the assertion I see the build style is BuildAndInstall.

> cabal get propellor-5.7.0
> cd propellor-5.7.0/
> cabal v2-build all --enable-documentation
Resolving dependencies...
Build profile: -w ghc-8.2.2 -O1
In order, the following will be built (use -v for more details):
BuildAndInstall
 - Only-0.1 (lib) (requires build)
BuildAndInstall
 - base-compat-0.9.3 (lib) (requires build)
BuildAndInstall
 - base-orphans-0.7 (lib) (requires build)
BuildAndInstall
 - abstract-par-0.3.3 (lib) (requires build)
BuildAndInstall
 - cabal-doctest-1.0.8 (lib) (requires build)
BuildAndInstall
 - clock-0.7.2 (lib) (requires build)
BuildAndInstall
 - call-stack-0.1.0 (lib) (requires build)
BuildAndInstall
 - colour-2.3.4 (lib) (requires build)
BuildAndInstall
 - cmdargs-0.10.20 (lib) (requires build)
BuildAndInstall
 - cereal-0.5.7.0 (lib) (requires build)
BuildAndInstall
 - dlist-0.8.0.4 (lib) (requires build)
BuildAndInstall
 - data-default-class-0.1.2.0 (lib:data-default-class) (requires build)
BuildAndInstall
 - fgl-5.6.0.0 (lib) (requires build)
BuildAndInstall
 - fail-4.9.0.0 (lib) (requires build)
BuildAndInstall
 - fixed-0.2.1.1 (lib) (requires build)
BuildAndInstall
 - ghc-paths-0.1.0.9 (lib:ghc-paths) (requires build)
BuildAndInstall
 - ghc-tcplugins-extra-0.2.5 (lib) (requires build)
Assertion failed
CallStack (from HasCallStack):
  assert, called at ./Distribution/Client/ProjectPlanning.hs:244:5 in
main:Distribution.Client.ProjectPlanning

[sheaf]

Just ran into this issue trying to build documentation for dependencies of an executable, with a command of the form
cabal haddock exe:MyExe --enable-documentation

For the time being I re-compiled cabal-install without the assertion and the documentation builds as expected.

[andreasabel]

Me too. With https://github.com/agda/agda/ commit 834b75908632e1633c0fe9b0ab1cd39195b51aa3:

$ cabal build --enable-tests --enable-documentation
Resolving dependencies...
Build profile: -w ghc-8.10.3 -O1
In order, the following will be built (use -v for more details):
 - ieee754-0.8.0 (lib:ieee754) (requires build)
 - STMonadTrans-0.4.5 (lib) (requires build)
 - blaze-builder-0.4.2.1 (lib) (requires build)
 - base-compat-0.11.2 (lib) (requires build)
 - base-orphans-0.8.4 (lib) (requires build)
 - clock-0.8.2 (lib) (requires build)
 - call-stack-0.3.0 (lib) (requires build)
 - colour-2.3.5 (lib) (requires build)
 - data-default-class-0.1.2.0 (lib:data-default-class) (requires build)
 - data-hash-0.2.0.1 (lib) (requires build)
 - fail-4.9.0.0 (lib) (requires build)
Assertion failed
CallStack (from HasCallStack):
  assert, called at src/Distribution/Client/ProjectPlanning.hs:237:5 in main:Distribution.Client.ProjectPlanning

$ cabal --version
cabal-install version 3.5.0.0
compiled using version 3.5.0.0 of the Cabal library 

(Recent development version of cabal-install.)

[Mikolaj]

Me too, current LambdaHack, almost current cabal from master branch. This cabal.project.local

package *
  documentation: True

repository head.hackage.ghc.haskell.org
   url: https://ghc.gitlab.haskell.org/head.hackage/
   secure: True
   key-threshold: 3
   root-keys:
       7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d
       26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329
       f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89

causes

~/r/LambdaHack$ cabal build -w /home/mikolaj/r/ghc/_build/stage1/bin/ghc --allow-newer
Build profile: -w ghc-9.3.20220316 -O1
In order, the following will be built (use -v for more details):
 - StateVar-1.2.2 (lib) (requires build)
 - base-compat-0.12.1 (lib) (requires build)
 - base-orphans-0.8.6 (lib) (requires build)
 - colour-2.3.6 (lib) (requires build)
 - file-embed-0.0.15.0 (lib) (requires build)
Assertion failed
CallStack (from HasCallStack):
  assert, called at src/Distribution/Client/ProjectPlanning.hs:243:5 in cabal-install-3.7.0.0-inplace:Distribution.Client.ProjectPlanning

[Mikolaj]

This is happening to many people in many tickets over the years, so I'm bumping priority.