Bug 368195

Summary:	dev-lang/ghc-6.12.3: -doc still tries to build the documentation, and fails
Product:	Gentoo Linux	Reporter:	Valentin David <valentin.david>
Component:	[OLD] Development	Assignee:	Gentoo's Haskell Language team <haskell>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	AMD64
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

Description Valentin David 2011-05-20 17:13:18 UTC

It seems that even if "-doc" is used, the documentation for dev-lang/ghc is built. Unfortunately, it does not work, because emerge does not install the dependences (of course since "-doc").

Reproducible: Always

Comment 1 Ivan 2011-05-24 00:23:53 UTC

Are you building with "USE=ghcbootstrap" ?  Because otherwise pre-built documentation is used, so there shouldn't be anything being built...

Comment 2 Sergei Trofimovich (RETIRED) gentoo-dev

2011-05-24 03:53:53 UTC

There is 2 kinds of doc:

- haddock generated .html stuff (self-hosted doc generation).
- pdf user's guide .tex based.
  Might be built automagically if you have dblatex.

Which one breaks for you?

Can you paste build.log?

Comment 3 Chí-Thanh Christopher Nguyễn gentoo-dev

2011-07-03 14:53:16 UTC

A user from #gentoo on freenode confirmed that having dblatex installed makes the build fail

<Sikander> "/usr/bin/dblatex"  docs/users_guide/users_guide.xml --ps -o docs/users_guide/users_guide.ps
<Sikander> And then latex complains about missing \begin{document}

Comment 4 Sergei Trofimovich (RETIRED) gentoo-dev

2011-07-05 18:35:32 UTC

Ah, I think I see now.

ghc-6.12 build system renamed XMLDocWays control
variable (we used to override) to set of BUILD_DOCBOOK_PS/PDF/HTML.
And automagic deps popped back.

Fixed as:

>  05 Jul 2011; Sergei Trofimovich <slyfox@gentoo.org> ghc-6.12.3.ebuild,
>  ghc-6.12.3-r2.ebuild:
>  Disable doc building when user didn't request it (bug #368195 by Valentin
>  David).

Thank you, guys!