Add WAY_debug_t_NAME and WAY_debug_t_HC_OPTS
[ghc-hetmet.git] / mk / suffix.mk
index f4c5126..55637e3 100644 (file)
 
 .SUFFIXES:
 
-# However, if $(way) is set then we have to define $(way_) and $(_way)
-# from it in the obvious fashion.
-# This must be done here (or earlier), but not in target.mk with the other
-# way management, because the pattern rules in this file take a snapshot of
-# the value of $(way_) and $(_way), and it's no good setting them later!
-
-ifneq "$(way)" ""
-  way_ := $(way)_
-  _way := _$(way)
-endif
+# This declaration tells GNU make to delete the target if it has
+# changed and the command which created it exited with a non-zero exit
+# code.
+
+.DELETE_ON_ERROR:
 
 #-----------------------------------------------------------------------------
 # Haskell Suffix Rules
 
+# The $(odir) support is for building GHC, where we need to build three
+# different versions from the same sources.  See compiler/Makefile.
+ifneq "$(odir)" ""
+odir_ = $(odir)/
+else
+odir_ =
+endif
+
 # Turn off all the Haskell suffix rules if we're booting from .hc
 # files.  The file bootstrap.mk contains alternative suffix rules in
 # this case.
 ifneq "$(BootingFromHc)" "YES"
 
-%.$(way_)o : %.hs
+$(odir_)%.$(way_)o : %.hs
        $(HC_PRE_OPTS)
-       $(HC) $(HC_OPTS) -c $< -o $@
+       $(HC) $(HC_OPTS) -c $< -o $@  -ohi $(basename $@).$(way_)hi
        $(HC_POST_OPTS)
 
-%.$(way_)o : %.lhs      
+$(odir_)%.$(way_)o : %.lhs      
        $(HC_PRE_OPTS)
-       $(HC) $(HC_OPTS) -c $< -o $@
+       $(HC) $(HC_OPTS) -c $< -o $@  -ohi $(basename $@).$(way_)hi
        $(HC_POST_OPTS)
 
-%.$(way_)hc : %.lhs     
+# Now the rules for hs-boot files. 
+# Note that they do *not* do teh HS_PRE_OPTS / HS_POST_OPTS stuff,
+# (which concerns splitting) because they don't generate .o files
+$(odir_)%.$(way_)o-boot : %.hs-boot
+       $(HC) $(HC_OPTS) -c $< -o $@  -ohi $(basename $@).$(way_)hi-boot
+
+$(odir_)%.$(way_)o-boot : %.lhs-boot
+       $(HC) $(HC_OPTS) -c $< -o $@  -ohi $(basename $@).$(way_)hi-boot
+
+$(odir_)%.$(way_)hc : %.lhs     
        $(RM) $@
        $(HC) $(HC_OPTS) -C $< -o $@
 
-%.$(way_)hc : %.hs      
+$(odir_)%.$(way_)hc : %.hs      
        $(RM) $@
        $(HC) $(HC_OPTS) -C $< -o $@
 
-%.$(way_)o : %.$(way_)hc 
+$(odir_)%.$(way_)o : %.$(way_)hc
        $(HC_PRE_OPTS)
        $(HC) $(HC_OPTS) -c $< -o $@
        $(HC_POST_OPTS)
 
-%.$(way_)o : %.hc 
+$(odir_)%.$(way_)o : %.hc
        $(HC_PRE_OPTS)
        $(HC) $(HC_OPTS) -c $< -o $@
        $(HC_POST_OPTS)
 
-%.$(way_)s : %.$(way_)hc 
+$(odir_)%.$(way_)s : %.$(way_)hc 
        $(HC_PRE_OPTS)
        $(HC) $(HC_OPTS) -S $< -o $@
        $(HC_POST_OPTS)
 
-%.$(way_)hc : %.lhc
+$(odir_)%.$(way_)hc : %.lhc
        @$(RM) $@
        $(UNLIT) $< $@
        @chmod 444 $@
@@ -84,25 +96,57 @@ ifneq "$(BootingFromHc)" "YES"
 
 %.$(way_)hi : %.$(way_)o
        @if [ ! -f $@ ] ; then \
-           echo Panic! $< exists, but $@ does not. \
+           echo Panic! $< exists, but $@ does not.; \
            exit 1; \
        else exit 0 ; \
        fi                                                      
 
-%.$(way_)hi : %.$(way_)hc
+%.$(way_)hi-boot : %.$(way_)o-boot
        @if [ ! -f $@ ] ; then \
-           echo Panic! $< exists, but $@ does not. \
+           echo Panic! $< exists, but $@ does not.; \
+           exit 1; \
+       else exit 0 ; \
+       fi                                                      
+
+$(odir_)%.$(way_)hi : %.$(way_)hc
+       @if [ ! -f $@ ] ; then \
+           echo Panic! $< exists, but $@ does not.; \
            exit 1; \
        else exit 0 ; \
        fi
 
-endif # BootingViaC
+else # BootingFromHc
+
+# -----------------------------------------------------------------------------
+# suffix rules for building a .o from a .hc file in bootstrap mode.
+
+ifeq "$(BootingFromUnregisterisedHc)" "YES"
+
+# without mangling
+
+$(odir_)%.o : %.hc
+       $(CC) -x c $< -o $@ -c -O $(HC_BOOT_CC_OPTS) -I.  `echo $(patsubst -monly-%-regs, -DSTOLEN_X86_REGS=%, $(filter -monly-%-regs, $($*_HC_OPTS))) | sed 's/^$$/-DSTOLEN_X86_REGS=4/'`
+
+else
+
+# with mangling
+
+$(odir_)%.raw_s : %.hc
+       $(CC) -x c $< -o $@ -S -O $(HC_BOOT_CC_OPTS) -I.  `echo $(patsubst -monly-%-regs, -DSTOLEN_X86_REGS=%, $(filter -monly-%-regs, $($*_HC_OPTS))) | sed 's/^$$/-DSTOLEN_X86_REGS=4/'`
+
+$(odir_)%.s : $(odir_)%.raw_s
+       $(MANGLER) $< $@ $(patsubst -monly-%-regs, %, $(filter -monly-%-regs, $($*_HC_OPTS)))
+
+$(odir_)%.o : $(odir_)%.s
+       $(CC) -c -o $@ $<
+
+endif # not BootingFromUnregisterisedHc
+
+endif # BootingFromHc
 
 #-----------------------------------------------------------------------------
 # Happy Suffix Rules
 #
-.PRECIOUS: %.hs
-
 %.hs : %.ly
        $(HAPPY) $(HAPPY_OPTS) $<
 
@@ -110,29 +154,27 @@ endif # BootingViaC
        $(HAPPY) $(HAPPY_OPTS) $<
 
 #-----------------------------------------------------------------------------
+# Alex Suffix Rules
+#
+
+%.hs : %.x
+       $(ALEX) $(ALEX_OPTS) $<
+
+#-----------------------------------------------------------------------------
 # hsc2hs Suffix Rules
 #
 ifneq "$(BootingFromHc)" "YES"
 %_hsc.c %_hsc.h %.hs : %.hsc
-       $(HSC2HS) $(HSC2HS_OPTS) $<
+       $(HSC2HS_INPLACE) $(HSC2HS_OPTS) $<
        @touch $(patsubst %.hsc,%_hsc.c,$<)
 endif
 
 #-----------------------------------------------------------------------------
-# Lx Suffix Rules
-#
-
-%.hs : %.lx
-       $(LX) $(LX_OPTS) $<
-
-#-----------------------------------------------------------------------------
 # Green-card Suffix Rules
 #
 
-.PRECIOUS: %.gc
-
-%.hs : %.gc
-       $(GREENCARD) $(GC_OPTS) $< -o $@
+%.hs %_stub_ffi.c %_stub_ffi.h : %.gc
+       $(GREENCARD) $(GC_OPTS) $<
 
 %.lhs : %.gc
        $(GREENCARD) $(GC_OPTS) $< -o $@
@@ -143,44 +185,58 @@ endif
 #-----------------------------------------------------------------------------
 # C-related suffix rules
 
-%.$(way_)o : %.$(way_)s
+# UseGhcForCc is only relevant when not booting from HC files.
+ifeq "$(UseGhcForCc) $(BootingFromHc)" "YES NO"
+
+$(odir_)%.$(way_)o : %.c
        @$(RM) $@
-       $(AS) $(AS_OPTS) -o $@ $< || ( $(RM) $@ && exit 1 )
+       $(HC) $(GHC_CC_OPTS) -c $< -o $@
 
-%.$(way_)o : %.c
+$(odir_)%.$(way_)o : %.$(way_)s
        @$(RM) $@
-       $(CC) $(CC_OPTS) -c $< -o $@
+       $(HC) $(GHC_CC_OPTS) -c $< -o $@
 
-%.$(way_)o : %.S
+$(odir_)%.$(way_)o : %.S
+       @$(RM) $@
+       $(HC) $(GHC_CC_OPTS) -c $< -o $@
+
+$(odir_)%.$(way_)s : %.c
+       @$(RM) $@
+       $(HC) $(GHC_CC_OPTS) -S $< -o $@
+
+else
+
+$(odir_)%.$(way_)o : %.c
        @$(RM) $@
        $(CC) $(CC_OPTS) -c $< -o $@
 
-#%.$(way_)s : %.c
-#      @$(RM) $@
-#      $(CC) $(CC_OPTS) -S $< -o $@
+$(odir_)%.$(way_)o : %.$(way_)s
+       @$(RM) $@
+       $(AS) $(AS_OPTS) -o $@ $<
 
-%.c : %.flex
+$(odir_)%.$(way_)o : %.S
        @$(RM) $@
-       $(FLEX) -t $(FLEX_OPTS) $< > $@ || ( $(RM) $@ && exit 1 )
-%.c : %.lex
+       $(CC) $(CC_OPTS) -c $< -o $@
+
+$(odir_)%.$(way_)s : %.c
        @$(RM) $@
-       $(FLEX) -t $(FLEX_OPTS) $< > $@ || ( $(RM) $@ && exit 1 )
+       $(CC) $(CC_OPTS) -S $< -o $@
+
+endif
 
 # stubs are automatically generated and compiled by GHC
 %_stub.$(way_)o: %.o
        @:
 
-#-----------------------------------------------------------------------------
-# Yacc stuff
-
-%.tab.c %.tab.h : %.y
-       @$(RM) $*.tab.h $*.tab.c y.tab.c y.tab.h y.output
-       $(YACC) $(YACC_OPTS) $<
-       $(MV) y.tab.c $*.tab.c
-       @chmod 444 $*.tab.c
-       $(MV) y.tab.h $*.tab.h
-       @chmod 444 $*.tab.h
+# -----------------------------------------------------------------------------
+# Flex/lex
 
+%.c : %.flex
+       @$(RM) $@
+       $(FLEX) -t $(FLEX_OPTS) $< > $@
+%.c : %.lex
+       @$(RM) $@
+       $(FLEX) -t $(FLEX_OPTS) $< > $@
 
 #-----------------------------------------------------------------------------
 # Runtest rules for calling $(HC) on a single-file Haskell program
@@ -189,13 +245,98 @@ endif
        $(TIME) $(RUNTEST) $(HC) $(RUNTEST_OPTS) $<
 
 #-----------------------------------------------------------------------------
+# DocBook XML suffix rules
+#
+
+%.html : %.xml
+       $(XSLTPROC) --output $@ \
+                   --stringparam html.stylesheet $(FPTOOLS_CSS) \
+                   $(XSLTPROC_LABEL_OPTS) $(XSLTPROC_OPTS) \
+                   $(DIR_DOCBOOK_XSL)/html/docbook.xsl $<
+       cp $(FPTOOLS_CSS_ABS) .
+
+%/index.html : %.xml
+       $(RM) -rf $(dir $@)
+       $(XSLTPROC) --stringparam base.dir $(dir $@) \
+                   --stringparam use.id.as.filename 1 \
+                   --stringparam html.stylesheet $(FPTOOLS_CSS) \
+                   $(XSLTPROC_LABEL_OPTS) $(XSLTPROC_OPTS) \
+                   $(DIR_DOCBOOK_XSL)/html/chunk.xsl $<
+       cp $(FPTOOLS_CSS_ABS) $(dir $@)
+
+# Note: Numeric labeling seems to be uncommon for HTML Help
+%-htmlhelp/index.html : %.xml
+       $(RM) -rf $(dir $@)
+       $(XSLTPROC) --stringparam base.dir $(dir $@) \
+                   --stringparam manifest.in.base.dir 1 \
+                   --stringparam htmlhelp.chm "..\\"$(basename $<).chm \
+                   $(XSLTPROC_OPTS) \
+                   $(DIR_DOCBOOK_XSL)/htmlhelp/htmlhelp.xsl $<
+
+%-htmlhelp2/collection.HxC : %.xml
+       $(RM) -rf $(dir $@)
+       $(XSLTPROC) --stringparam base.dir $(dir $@) \
+                   --stringparam use.id.as.filename 1 \
+                   --stringparam manifest.in.base.dir 1 \
+                   $(XSLTPROC_OPTS) \
+                   $(DIR_DOCBOOK_XSL)/htmlhelp2/htmlhelp2.xsl $<
+
+# TODO: Detect hhc & Hxcomp via autoconf
+#
+# Two obstacles here:
+#
+# * The reason for the strange "if" below is that hhc returns 0 on error and 1
+#   on success, the opposite of what shells and make expect.
+#
+# * There seems to be some trouble with DocBook indices, but the *.chm looks OK,
+#   anyway, therefore we pacify make by "|| true". Ugly...
+#
+%.chm : %-htmlhelp/index.html
+       ( cd $(dir $<) && if hhc htmlhelp.hhp ; then false ; else true ; fi ) || true
+
+%.HxS : %-htmlhelp2/collection.HxC
+       ( cd $(dir $<) && if Hxcomp -p collection.HxC -o ../$@ ; then false ; else true ; fi )
+
+%.fo : %.xml
+       $(XSLTPROC) --output $@ \
+                   --stringparam draft.mode no \
+                   $(XSLTPROC_LABEL_OPTS) $(XSLTPROC_OPTS) \
+                   $(DIR_DOCBOOK_XSL)/fo/docbook.xsl $<
+
+ifeq "$(FOP)" ""
+ifneq "$(PDFXMLTEX)" ""
+%.pdf : %.fo
+       $(PDFXMLTEX) $<
+       if grep "LaTeX Warning: Label(s) may have changed.Rerun to get cross-references right." $(basename $@).log > /dev/null ; then \
+         $(PDFXMLTEX) $< ; \
+         $(PDFXMLTEX) $< ; \
+       fi
+endif
+else
+%.ps : %.fo
+       $(FOP) $(FOP_OPTS) -fo $< -ps $@
+
+%.pdf : %.fo
+       $(FOP) $(FOP_OPTS) -fo $< -pdf $@
+endif
+
+ifneq "$(XMLTEX)" ""
+%.dvi : %.fo
+       $(XMLTEX) $<
+       if grep "LaTeX Warning: Label(s) may have changed.Rerun to get cross-references right." $(basename $@).log > /dev/null ; then \
+         $(XMLTEX) $< ; \
+         $(XMLTEX) $< ; \
+       fi
+endif
+
+#-----------------------------------------------------------------------------
 # Doc processing suffix rules
 #
 # ToDo: make these more robust
 #
 %.ps : %.dvi
        @$(RM) $@
-       dvips $< -o $@
+       $(DVIPS) $< -o $@
 
 %.tex : %.tib
        @$(RM) $*.tex $*.verb-t.tex
@@ -212,39 +353,6 @@ endif
        fig2dev -L latex $< $@
 
 #-----------------------------------------------------------------------------
-# SGML suffix rules
-#
-%.dvi : %.sgml
-       @$(RM) $@
-       $(SGML2DVI) $(SGML2DVI_OPTS) $<
-
-%.ps : %.sgml
-       @$(RM) $@
-       $(SGML2PS) $(SGML2PS_OPTS) $<
-
-%.html : %.sgml
-       @$(RM) $@
-#      $(PERL) $(COLLATEINDEX) -N -o index.sgml
-#      $(JADE) -t sgml -V html-index -d $(SGMLSTYLESHEET) -c $(DOCBOOK_CATALOG) $<
-#      $(PERL) $(COLLATEINDEX) -N -o index.sgml
-       $(SGML2HTML) $(SGML2HTML_OPTS) $<
-
-%.html : %.tex
-       @$(RM) $@
-       $(HEVEA) $(HEVEA_OPTS) $(patsubst %.tex,%.hva,$<) $<
-       $(HEVEA) $(HEVEA_OPTS) $(patsubst %.tex,%.hva,$<) $<
-       $(HACHA) $(HACHA_OPTS) $(patsubst %.tex,%.html,$<)
-# Run HeVeA twice to resolve labels
-
-%.rtf : %.sgml
-       @$(RM) $@
-       $(SGML2RTF) $(SGML2RTF_OPTS) $<
-
-%.pdf : %.sgml
-       @$(RM) $@
-       $(SGML2PDF) $(SGML2PDF_OPTS) $<
-
-#-----------------------------------------------------------------------------
 # Literate suffix rules
 
 %.prl : %.lprl
@@ -271,3 +379,14 @@ endif
 %.$(way_)o : %.$(way_)rc
        @$(RM) $@
        windres $< $@
+
+#-----------------------------------------------------------------------------
+# Preprocessor suffix rule
+
+# Note use of -P option to prevent #line pragmas being left in the CPP
+# output.
+
+% : %.pp
+       @$(RM) $@
+       $(CPP) $(RAWCPP_FLAGS) -P $(CPP_OPTS) -x c $< | \
+       grep -v '^#pragma GCC' > $@