patch applied (ghc): Explicitly set "docdir" when calling make, configure's --docdir seems to be ignored

Judah Jacobson judah.jacobson at gmail.com
Sun Sep 2 16:05:56 EDT 2007


On 9/2/07, Ian Lynagh <igloo at earth.li> wrote:
> On Sun, Sep 02, 2007 at 11:04:51AM -0700, Judah Jacobson wrote:
> > On 9/2/07, Sven Panne <Sven.Panne at aedion.de> wrote:
> > >   * Explicitly set "docdir" when calling make, configure's --docdir seems to be ignored
>
> The reason is:
>
> # New autoconf (>= 2.60?) make a configure with --docdir=DIR etc flags.
> # However, in order to support older autoconf's we don't use them.
>
> > I've actually been looking at that problem (in an effort to learn more
> > about ghc's make system), and I think I tracked down the cause of this
> > issue.
> [snip]
>
> Hmm, code to set datarootdir should come from autoreconf, when it makes
> configure. Can you please tell me what these commands say for you in a
> configured GHC tree?
>

Sure.  By the way, my GHC tree is up to date with darcs except for
Sven's latest patch.

$ autoreconf --version
autoreconf (GNU Autoconf) 2.59
Written by David J. MacKenzie and Akim Demaille.

Copyright (C) 2003 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
$ make show VALUE=bindir
bindir="/Users/judah/tmp/bin"
$ make show VALUE=datarootdir
datarootdir="@datarootdir@"
$ make show VALUE=datadir
datadir="/Users/judah/tmp/share/ghc-6.7.20070901"
$ make show VALUE=docdir
docdir="@datarootdir@/doc/ghc"

Thanks,
-Judah



More information about the Cvs-ghc mailing list