summaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authorsven.panne@aedion.de <unknown>2007-09-08 12:33:17 +0000
committersven.panne@aedion.de <unknown>2007-09-08 12:33:17 +0000
commit0ecf634bfc122cdb81e7569718e27c880cd2c40f (patch)
treeca8bd0e41854b9aa0740005d1a9083508367fbfe /mk
parent513f08c0a11a39ed2e25aa30de51fb0513fa1ccb (diff)
downloadhaskell-0ecf634bfc122cdb81e7569718e27c880cd2c40f.tar.gz
Added comment about GNU coding standards/autoconf history
MERGE TO STABLE
Diffstat (limited to 'mk')
-rw-r--r--mk/config.mk.in31
1 files changed, 26 insertions, 5 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in
index 7e00d1852d..7148144b5d 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -512,11 +512,32 @@ BIN_DIST_TARBALL=$(BIN_DIST_TOPDIR_REL)/$(BIN_DIST_NAME)-$(TARGETPLATFORM).tar.b
BIN_DIST_INST_DIR = $(FPTOOLS_TOP_ABS)/bindisttest/installed
-
-#
-# Installation directories, we don't use half of these,
-# but since the configure script has them on offer while
-# passing through, we might as well set them.
+# Definition of installation directories, we don't use half of these, but since
+# the configure script has them on offer while passing through, we might as well
+# set them. Note that we have to be careful, because the GNU coding standards
+# have changed a bit over the course of time, and autoconf development reflects
+# this.
+#
+# A little bit of history regarding autoconf and GNU coding standards, use this
+# as a cheat-sheet for the stuff below:
+#
+# variable | default < 2.60 | default >= 2.60
+# ------------+--------------------+--------------------------------------
+# exec_prefix | ${prefix} | ${prefix}
+# libdir | ${exec_prefix}/lib | ${exec_prefix}/lib
+# datarootdir | NONE! | ${prefix}/share
+# datadir | ${prefix}/share | ${datarootdir}
+# infodir | ${prefix}/info | ${datarootdir}/info
+# mandir | ${prefix}/man | ${datarootdir}/man
+# docdir | NONE! | ${datarootdir}/doc/${PACKAGE_TARNAME}
+# htmldir | NONE! | ${docdir}
+# dvidir | NONE! | ${docdir}
+# pdfdir | NONE! | ${docdir}
+# psdir | NONE! | ${docdir}
+#
+# NOTE: The default e.g. ${docdir} above means that autoconf substitutes the
+# string "${docdir}", not the value of docdir! This is crucial for the GNU
+# coding standards.
prefix := @prefix@