# -----------------------------------------------------------------------------
-# $Id: Makefile,v 1.15 2001/07/16 21:01:58 qrczak Exp $
+# $Id: Makefile,v 1.20 2002/03/02 17:49:42 sof Exp $
#
TOP = ..
H_FILES = $(filter-out gmp.h,$(wildcard *.h)) gmp.h
#
+# Options -- if we're building unregisterised, add a couple of -D's
+#
+ifeq "$(GhcUnregisterised)" "YES"
+SRC_CC_OPTS += -DNO_REGS -DUSE_MINIINTERPRETER
+endif
+
+#
# Header file built from the configure script's findings
#
H_CONFIG = config.h
$(H_CONFIG) :
@echo "Creating $@..."
@$(RM) $@
- @echo "#define HostPlatform_TYPE $(HostPlatform_CPP)" > $@
+ @echo "#ifndef __FPTOOLS_CONFIG_H__" >$@
+ @echo "#define __FPTOOLS_CONFIG_H__" >>$@
+ @echo >> $@
+ @echo "#define HostPlatform_TYPE $(HostPlatform_CPP)" >> $@
@echo "#define TargetPlatform_TYPE $(HostPlatform_CPP)" >> $@
@echo "#define BuildPlatform_TYPE $(HostPlatform_CPP)" >> $@
@echo >> $@
@echo "#define $(HostVendor_CPP)_TARGET_VENDOR 1" >> $@
@echo "#define $(HostVendor_CPP)_BUILD_VENDOR 1" >> $@
@cat $(FPTOOLS_TOP)/mk/$@ >> $@
+ @echo "#endif /* __FPTOOLS_CONFIG_H__ */" >> $@
@echo "Done."
# ---------------------------------------------------------------------------
+# Make DerivedConstants.h for the compiler
+
+all :: DerivedConstants.h
+
+mkDerivedConstants.c : $(H_CONFIG)
+
+mkDerivedConstantsHdr : mkDerivedConstants.o
+ $(CC) -o $@ $(CC_OPTS) $(LD_OPTS) mkDerivedConstants.o
+
+DerivedConstants.h : mkDerivedConstantsHdr
+ ./mkDerivedConstantsHdr >DerivedConstants.h
+
+CLEAN_FILES += mkDerivedConstantsHdr DerivedConstants.h
+
+# ---------------------------------------------------------------------------
# Make NativeDefs.h for the NCG
-C_PROG = mkNativeHdr
-C_SRCS = mkNativeHdr.c
+all :: NativeDefs.h
+
+mkNativeHdr.o : DerivedConstants.h
+
+mkNativeHdr : mkNativeHdr.o
+ $(CC) -o $@ $(CC_OPTS) $(LD_OPTS) mkNativeHdr.o
NativeDefs.h : mkNativeHdr
./mkNativeHdr >NativeDefs.h
-CLEAN_FILES += NativeDefs.h
+CLEAN_FILES += mkNativeHdr NativeDefs.h
# ---------------------------------------------------------------------------
# boot setup: