[project @ 1999-01-10 17:16:45 by sof]

Added definition of WithGhcHcVersion (but left commented out, as it's currently
unused.)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 9be5f3f..3bf97e8 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -149,6 +149,10 @@ IncludeTestDirsInBuild=NO
 
 WithGhcHc = @WithGhcHc@
 
+# Variable which is set to the version number of the $(WithGhcHc) we're using.
+# Not currently used, but might come in handy sometime soon.
+#WithGhcHcVersion = $(shell echo `if ( $(WithGhcHc) --version 2>/dev/null >/dev/null ) then $(WithGhcHc) --version 2>&1 | @SedCmd@ -e 's/^.*version [^0-9]*\([.0-9]*\).*/\1/;s/\.//'; else echo unknown; fi; ` )
+
 # Extra ways in which to build the compiler (for example, you might want to
 # build a profiled compiler so you can see where it spends its time)
 GhcCompilerWays=