+# -----------------------------------------------------------------------------
+# Create driver configuration
+
+CONFIG_HS = Config.hs
+CLEAN_FILES += $(CONFIG_HS)
+EXTRA_SRCS += $(CONFIG_HS)
+
+boot :: $(CONFIG_HS)
+
+$(CONFIG_HS) : $(FPTOOLS_TOP)/mk/config.mk Makefile
+ @$(RM) -f $(CONFIG_HS)
+ @echo -n "Creating $(CONFIG_HS) ... "
+ @echo "module Config where" >>$(CONFIG_HS)
+ @echo "cDEFAULT_TMPDIR = \"$(DEFAULT_TMPDIR)\"" >> $(CONFIG_HS)
+ @echo "cGCC = \"$(WhatGccIsCalled)\"" >> $(CONFIG_HS)
+ @echo "progNameSuffix = \"$(exeext)\"" >> $(CONFIG_HS)
+ifneq "$(HOSTPLATFORM)" "i386-unknown-mingw32"
+ @echo "pathSep = '/'" >> $(CONFIG_HS)
+else
+ @echo "pathSep = (toEnum 92 :: Char)" >> $(CONFIG_HS)
+endif
+ @echo done.
+
+# -----------------------------------------------------------------------------