-# Everything else
-H_FILES = stgdefs.h rtsdefs.h StgDirections.h StgMachDeps.h error.h \
- ieee-flpt.h gmp.h LLC.h HLC.h
-
-MKDEPENDC_SRCS=mkNativeHdr.c
-
-ALL_FILES = $(DELIT_H_FILES) $(H_FILES)
-ifeq ($(GhcWithNativeCodeGen),YES)
-ALL_FILES += $(TARGETPLATFORM).h
-endif
-
-
-#
-# In main/Signals we need to distinguish between irix5 and irix6,
-# so we suitably mangle HostOS_FULL to get at the major version.
-# (A hack, for sure - ToDo: consider systematically adding more
-# fine-grained OS info to this Makefile/configure soup )