+ifneq "$(BootingFromHc)" "YES"
+STUBOBJS += \
+ Control/Concurrent_stub.$(way_)o
+
+CLEAN_FILES += $(STUBOBJS) \
+ Control/Concurrent_stub.[ch]
+endif
+
+#-----------------------------------------------------------------------------
+# Building the library for GHCi
+#
+# The procedure differs from that in fptools/mk/target.mk in one way:
+# (*) on Win32 we must split it into two, because a single .o file can't
+# have more than 65536 relocations in it [due to a bug in the GNU
+# linker.]
+
+OBJECT_FILEFORMAT=unknown
+ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
+OBJECT_FILEFORMAT=PEi
+endif
+ifeq "$(TARGETPLATFORM)" "i386-unknown-cygwin32"
+OBJECT_FILEFORMAT=PEi
+endif
+
+ifeq "$(OBJECT_FILEFORMAT)" "PEi"