1 #################################################################################
5 # Standard targets for GHC
7 #################################################################################
10 # This file contain three groups of target rules:
16 # 2. GNU standard targets
18 # install* installcheck installdirs
20 # clean* distclean* mostlyclean* maintainer-clean*
22 # dvi ps (no info) GHC adds: pdf rtf html chm HxS
25 # 3. Some of the above targets have a version that
26 # recursively invokes that target in sub-directories.
27 # This relies on the importing Makefile setting SUBDIRS
29 # The recursive targets are marked with a * above
36 ##################################################################
37 # Pre-compute the list of sources so we don't have to do this
38 # multiple times. See paths.mk.
40 PRE_SRCS := $(ALL_SRCS)
42 ##################################################################
43 # Include package building machinery
44 # NB. needs to be after PRE_SRCS setting above, because otherwise the
45 # rule dependencies won't be set correctly.
47 include $(TOP)/mk/package.mk
49 ###################################################################
50 # Suffix rules for Haskell, C and literate
52 include $(TOP)/mk/suffix.mk
54 ##################################################################
55 # GHC standard targets
59 # The depend target has to cope with a set of files that may have
60 # different ways of computing their dependencies, i.e., a Haskell
61 # module's dependencies are computed differently from C files.
63 # Note that we don't compute dependencies automatically, i.e., have the
64 # .depend file be a target that is dependent on the Haskell+C sources,
65 # and then have the `depend' target depend on `.depend'. The reason for
66 # this is that when GNU make is processing the `include .depend' statement
67 # it records .depend as being a Makefile. Before doing any other processing,
68 # `make' will try to check to see if the Makefiles are up-to-date. And,
69 # surprisingly enough, .depend has a rule for it, so if any of the source
70 # files change, it will be invoked, *regardless* of what target you're making.
72 # So, for now, the dependencies has to be re-computed manually via `make depend'
73 # whenever a module changes its set of imports. Doing what was outlined above
74 # is only a small optimisation anyway, it would avoid the recomputation of
75 # dependencies if the .depend file was newer than any of the source modules.
79 # Compiler produced files that are targets of the source's imports.
80 MKDEPENDHS_OBJ_SUFFICES=o
82 ifneq "$(BootingFromHc)" "YES"
83 PKGCONF_DEP = $(STAMP_PKG_CONF)
86 depend :: $(MKDEPENDHS_SRCS) $(MKDEPENDC_SRCS) $(PKGCONF_DEP)
89 ifneq "$(DOC_SRCS)" ""
90 $(MKDEPENDLIT) -o .depend $(MKDEPENDLIT_OPTS) $(filter %.lit,$(DOC_SRCS))
92 ifneq "$(MKDEPENDC_SRCS)" ""
93 $(MKDEPENDC) -f .depend $(MKDEPENDC_OPTS) $(foreach way,$(WAYS),-s $(way)) -- $(CC_OPTS) -- $(MKDEPENDC_SRCS)
95 ifneq "$(MKDEPENDHS_SRCS)" ""
96 $(MKDEPENDHS) -M -optdep-f -optdep.depend $(foreach way,$(WAYS),-optdep-s -optdep$(way)) $(foreach obj,$(MKDEPENDHS_OBJ_SUFFICES),-osuf $(obj)) $(MKDEPENDHS_OPTS) $(filter-out -split-objs, $(HC_OPTS)) $(MKDEPENDHS_SRCS)
100 ##################################################################
103 # The boot target, at a minimum generates dependency information
107 ifeq "$(NO_BOOT_TARGET)" "YES"
113 ##################################################################
114 # GNU Standard targets
116 # Every Makefile should define the following targets
119 # Compile the entire program. This should be the default target.
120 # This target need not rebuild any documentation files
123 # Compile the program and copy the executables, libraries, and so on
124 # to the file names where they should reside for actual use. If
125 # there is a simple test to verify that a program is properly
126 # installed, this target should run that test.
128 # The commands should create all the directories in which files are
129 # to be installed, if they don't already exist. This includes the
130 # directories specified as the values of the variables prefix and
131 # exec_prefix , as well as all subdirectories that are needed. One
132 # way to do this is by means of an installdirs target as described
135 # Use `-' before any command for installing a man page, so that make
136 # will ignore any errors. This is in case there are systems that
137 # don't have the Unix man page documentation system installed.
141 # Delete all files from the current directory that are normally
142 # created by building the program. Don't delete the files that
143 # record the configuration. Also preserve files that could be made
144 # by building, but normally aren't because the distribution comes
147 # Delete `.dvi' files here if they are not part of the
151 # Delete all files from the current directory that are created by
152 # configuring or building the program. If you have unpacked the
153 # source and built the program without creating any other files,
154 # `make distclean' should leave only the files that were in the
158 # Like `clean', but may refrain from deleting a few files that
159 # people normally don't want to recompile. For example, the
160 # `mostlyclean' target for GCC does not delete `libgcc.a', because
161 # recompiling it is rarely necessary and takes a lot of time.
164 # Delete everything from the current directory that can be
165 # reconstructed with this Makefile. This typically includes
166 # everything deleted by distclean , plus more: C source files
167 # produced by Bison, tags tables, and so on.
169 # One exception, however: `make maintainer-clean' should not delete
170 # `configure' even if `configure' can be remade using a rule in the
171 # Makefile. More generally, `make maintainer-clean' should not delete
172 # anything that needs to exist in order to run `configure' and then
173 # begin to build the program.
176 # Update a tags table for this program.
178 # `dvi' `ps' `pdf' `html' `chm' `HxS' `rtf'
179 # Generate DVI/PS/PDF files for LaTeX/DocBook docs. Not everything is
180 # supported everywhere, but the intention is to standardise on DocBook
181 # producing all formats.
184 # Perform self-tests (if any). The user must build the program
185 # before running the tests, but need not install the program; you
186 # should write the self-tests so that they work when the program is
187 # built but not installed.
189 # The following targets are suggested as conventional names, for programs
190 # in which they are useful.
193 # Perform installation tests (if any). The user must build and
194 # install the program before running the tests. You should not
195 # assume that `$(bindir)' is in the search path.
198 # It's useful to add a target named `installdirs' to create the
199 # directories where files are installed, and their parent
200 # directories. There is a script called `mkinstalldirs' which is
201 # convenient for this; find it in the Texinfo package.
202 # (GHC: we use a close relative of the suggested script, situated
203 # in glafp-utils/mkdirhier -- SOF)
208 ###########################################
212 ###########################################
214 # For each of these variables that is defined
215 # we generate one "all" rule and one rule for the variable itself:
217 # HS_PROG Haskell program
221 # For details of exactly what rule is generated, see the
222 # relevant section below
226 #----------------------------------------
229 ifneq "$(HS_PROG)" ""
232 ifneq "$(BootingFromHc)" "YES"
233 $(HS_PROG) :: $(OBJS)
234 $(HC) -o $@ $(HC_OPTS) $(LD_OPTS) $(OBJS)
237 $(HS_PROG) :: $(OBJS)
238 $(CC) -o $@ $(HC_BOOT_CC_OPTS) $(HC_BOOT_LD_OPTS) $(OBJS) $(HC_BOOT_LIBS)
242 #----------------------------------------
248 $(C_PROG) :: $(C_OBJS)
249 $(CC) -o $@ $(CC_OPTS) $(LD_OPTS) $(C_OBJS) $(LIBS)
252 #----------------------------------------
255 # Build $(LIBRARY) from $(LIBOBJS)+$(STUBOBJS)
262 # Rule to build $(LIBRARY)
264 ifneq "$(LIBRARY)" ""
270 $(AR) $(AR_OPTS) $@ $(STUBOBJS) $(LIBOBJS)
276 al -out:$@ $(STUBOBJS) $(LIBOBJS)
281 # For Haskell object files, we might have chosen to split
282 # up the object files. Test for whether the library being
283 # built is consisting of Haskell files by (hackily) checking
284 # whether HS_SRCS is empty or not.
287 # can't split objs in way 'u', so we disable it here
292 ifneq "$(HS_SRCS)" ""
293 ifeq "$(SplitObjs)" "YES"
295 SRC_HC_OPTS += -split-objs
297 # We generate the archive into a temporary file libfoo.a.tmp, then
298 # rename it at the end. This avoids the problem that ar may sometimes
299 # fail, leaving a partially built archive behind.
300 ifeq "$(ArSupportsInput)" ""
303 (echo $(STUBOBJS) $(C_OBJS) $(GC_C_OBJS); $(FIND) $(patsubst %.$(way_)o,%_split,$(HS_OBJS)) -name '*.$(way_)o' -print) | xargs $(AR) $@
309 echo $(STUBOBJS) > $@.list
310 echo $(C_OBJS) >> $@.list
311 echo $(GC_C_OBJS) >> $@.list
312 $(FIND) $(patsubst %.$(way_)o,%_split,$(HS_OBJS)) -name '*.$(way_)o' -print >> $@.list
313 $(AR) $(AR_OPTS) $@ $(ArSupportsInput) $@.list
319 # Extra stuff for compiling Haskell files with $(SplitObjs):
322 # If (Haskell) object files are split, cleaning up
323 # consist of descending into the directories where
324 # the myriads of object files have been put.
328 $(FIND) $(patsubst %.$(way_)o,%_split,$(HS_OBJS)) -name '*.$(way_)o' -print -o -name ld.script -print | xargs $(RM) __rm_food
329 -rmdir $(patsubst %.$(way_)o,%_split,$(HS_OBJS)) > /dev/null 2>&1
335 # Remove local symbols from library objects if requested.
338 ifeq "$(StripLibraries)" "YES"
339 ifeq "$(SplitObjs)" "YES"
340 SRC_HC_POST_OPTS += \
341 for i in $(basename $@)_split/*.$(way_)o; do \
342 $(LD) -r $(LD_X) -o $$i.tmp $$i; \
346 SRC_HC_POST_OPTS += \
347 $(LD) -r $(LD_X) -o $@.tmp $@; $(MV) $@.tmp $@
349 endif # StripLibraries
351 # Note: $(STUBOBJS) isn't depended on here, but included when building the lib.
352 # (i.e., the assumption is that $(STUBOBJS) are created as a side-effect
353 # of building $(LIBOBJS)).
354 $(LIBRARY) : $(LIBOBJS)
358 #----------------------------------------
359 # Building Win32 DLLs
362 ifeq "$(DLLized)" "YES"
363 SRC_CC_OPTS += -DDLLized
365 ifneq "$(PACKAGE)" ""
367 SRC_BLD_DLL_OPTS += --export-all --output-def=HS$(PACKAGE)$(_cbits)$(_way).def DllVersionInfo.$(way_)o
369 ifneq "$(PACKAGE) $(IS_CBITS_LIB)" "std YES"
370 ifneq "$(PACKAGE)" "rts"
371 SRC_BLD_DLL_OPTS += -lHSstd_cbits_imp -L$(GHC_LIB_DIR)/std/cbits
372 SRC_BLD_DLL_OPTS += -lHSrts_$(way_)imp -L$(GHC_RTS_DIR)
373 ifneq "$(PACKAGE)" "std"
374 ifeq "$(IS_CBITS_LIB)" ""
375 SRC_BLD_DLL_OPTS += -lHSstd_$(way_)imp -L$(GHC_LIB_DIR)/std
381 SRC_BLD_DLL_OPTS += -lgmp -L. -L$(GHC_RTS_DIR)/gmp
382 ifeq "$(IS_CBITS_LIB)" ""
383 SRC_BLD_DLL_OPTS += $(patsubst %,-lHS%_$(way_)imp, $(PACKAGE_DEPS))
384 SRC_BLD_DLL_OPTS += $(patsubst %,-L../%, $(PACKAGE_DEPS))
386 ifneq "$(HAS_CBITS)" ""
387 SRC_BLD_DLL_OPTS += -lHS$(PACKAGE)_cbits_imp -Lcbits
389 SRC_BLD_DLL_OPTS += -lwsock32 -lwinmm
391 endif # PACKAGE != ""
395 ifneq "$(LIBRARY)" ""
397 all :: DllVersionInfo.$(way_)o
399 ifeq "$(DLL_NAME)" ""
400 DLL_NAME = $(patsubst %.a,%.dll,$(subst lib,,$(LIBRARY)))
403 ifneq "$(DLL_NAME)" ""
404 DLL_NAME := $(DLL_PEN)/$(DLL_NAME)
409 ifeq "$(DLL_IMPLIB_NAME)" ""
410 DLL_IMPLIB_NAME = $(patsubst %.a,%_imp.a,$(LIBRARY))
413 $(DLL_NAME) :: $(LIBRARY)
414 $(BLD_DLL) --output-lib $(DLL_IMPLIB_NAME) -o $(DLL_NAME) $(LIBRARY) $(BLD_DLL_OPTS)
415 endif # LIBRARY != ""
420 # Version information is baked into a DLL by having the DLL include DllVersionInfo.o.
421 # The version info contains two user tweakables: DLL_VERSION and DLL_VERSION_NAME.
422 # (both are given sensible defaults though.)
424 # Note: this will not work as expected with Cygwin B20.1; you need a more recent
425 # version of binutils (to pick up windres bugfixes.)
428 DLL_VERSION=$(ProjectVersion)
431 ifndef DLL_VERSION_NAME
432 DLL_VERSION_NAME="http://www.haskell.org/ghc"
435 ifndef DLL_DESCRIPTION
436 DLL_DESCRIPTION="A GHC-compiled DLL"
440 EXE_VERSION=$(ProjectVersion)
443 ifndef EXE_VERSION_NAME
444 EXE_VERSION_NAME="http://www.haskell.org/ghc"
447 ifndef EXE_DESCRIPTION
448 EXE_DESCRIPTION="A GHC-compiled binary"
452 # Little bit of lo-fi mangling to get at the right set of settings depending
453 # on whether we're generating the VERSIONINFO for a DLL or EXE
455 DLL_OR_EXE=$(subst VersionInfo.$(way_)rc,,$@)
456 VERSION_FT=$(subst Dll, 0x2L, $(subst Exe, 0x1L, $(DLL_OR_EXE)))
457 VERSION_RES_NAME=$(subst Exe,$(EXE_VERSION_NAME), $(subst Dll, $(DLL_VERSION_NAME),$(DLL_OR_EXE)))
458 VERSION_RES=$(subst Exe,$(EXE_VERSION), $(subst Dll, $(DLL_VERSION),$(DLL_OR_EXE)))
459 VERSION_DESC=$(subst Exe,$(EXE_DESCRIPTION), $(subst Dll, $(DLL_DESCRIPTION),$(DLL_OR_EXE)))
461 DllVersionInfo.$(way_)rc ExeVersionInfo.$(way_)rc:
462 $(RM) DllVersionInfo.$(way_)rc
463 echo "1 VERSIONINFO" > $@
464 echo "FILEVERSION 1,0,0,1" >> $@
465 echo "PRODUCTVERSION 1,0,0,1" >> $@
466 echo "FILEFLAGSMASK 0x3fL" >> $@
467 echo "FILEOS 0x4L" >> $@
468 echo "FILETYPE $(VERSION_FT)" >> $@
469 echo "FILESUBTYPE 0x0L" >> $@
471 echo " BLOCK \"StringFileInfo\"" >> $@
473 echo " BLOCK \"040904B0\"" >> $@
475 echo " VALUE \"CompanyName\", \"$(VERSION_RES_NAME)\\0\"" >> $@
476 echo " VALUE \"FileVersion\", \"$(VERSION_RES)\\0\"" >> $@
477 echo " VALUE \"ProductVersion\", \"$(VERSION_RES)\\0\"" >> $@
478 echo " VALUE \"FileDescription\", \"$(VERSION_DESC)\\0\"" >> $@
481 echo " BLOCK \"VarFileInfo\"" >> $@
483 echo " VALUE \"Translation\", 0x0409, 1200" >> $@
487 include $(TOP)/mk/install.mk
489 ##############################################################################
491 # Targets: check tags show
493 ##############################################################################
495 #------------------------------------------------------------
501 @for i in $(filter-out %.lhs .hs, $(TESTS)) ''; do \
502 if (test -f "$$i"); then \
503 echo Running: `basename $$i` ; \
504 cd test; `basename $$i` ; \
508 #------------------------------------------------------------
513 tags TAGS:: $(TAGS_HS_SRCS) $(TAGS_C_SRCS)
516 ifneq "$(TAGS_HS_SRCS)" ""
517 $(HSTAGS) $(HSTAGS_OPTS) $(TAGS_HS_SRCS)
519 ifneq "$(TAGS_C_SRCS)" ""
520 etags -a $(TAGS_C_SRCS)
522 @( DEREFFED=`ls -l Makefile | sed -e 's/.*-> \(.*\)/\1/g'` && $(RM) `dirname $$DEREFFED`/TAGS && $(CP) TAGS `dirname $$DEREFFED` ) 2>/dev/null || echo TAGS file generated, perhaps copy over to source tree?
524 #------------------------------------------------------------
526 # to see the effective value used for a Makefile variable, do
527 # make show VALUE=MY_VALUE
531 @echo '$(VALUE)="$($(VALUE))"'
533 ################################################################################
535 # DocBook XML Documentation
537 ################################################################################
539 .PHONY: html html-no-chunks chm HxS fo dvi ps pdf
541 ifneq "$(XML_DOC)" ""
545 # multi-file XML document: main document name is specified in $(XML_DOC),
546 # sub-documents (.xml files) listed in $(XML_SRCS).
548 ifeq "$(XML_SRCS)" ""
549 XML_SRCS = $(wildcard *.xml)
552 XML_HTML = $(addsuffix /index.html,$(basename $(XML_DOC)))
553 XML_HTML_NO_CHUNKS = $(addsuffix .html,$(XML_DOC))
554 XML_CHM = $(addsuffix .chm,$(XML_DOC))
555 XML_HxS = $(addsuffix .HxS,$(XML_DOC))
556 XML_FO = $(addsuffix .fo,$(XML_DOC))
557 XML_DVI = $(addsuffix .dvi,$(XML_DOC))
558 XML_PS = $(addsuffix .ps,$(XML_DOC))
559 XML_PDF = $(addsuffix .pdf,$(XML_DOC))
561 $(XML_HTML) $(XML_NO_CHUNKS_HTML) $(XML_FO) $(XML_DVI) $(XML_PS) $(XML_PDF) :: $(XML_SRCS)
564 html-no-chunks :: $(XML_HTML_NO_CHUNKS)
572 CLEAN_FILES += $(XML_HTML_NO_CHUNKS) $(XML_FO) $(XML_DVI) $(XML_PS) $(XML_PDF)
575 $(RM) -rf $(XML_DOC).out $(FPTOOLS_CSS) $(basename $(XML_DOC)) $(basename $(XML_DOC))-htmlhelp
578 $(XMLLINT) --valid --noout $(XMLLINT_OPTS) $(XML_DOC).xml
581 ##############################################################################
585 ##############################################################################
587 # we have to be careful about recursion here; since all the clean
588 # targets are recursive, we don't want to make eg. distclean depend on
589 # clean because that would result in far too many recursive calls.
591 .PHONY: mostlyclean clean distclean maintainer-clean
594 rm -f $(MOSTLY_CLEAN_FILES)
596 # extraclean is used for adding actions to the clean target.
600 rm -f $(MOSTLY_CLEAN_FILES) $(CLEAN_FILES)
602 distclean:: extraclean
603 rm -f $(MOSTLY_CLEAN_FILES) $(CLEAN_FILES) $(DIST_CLEAN_FILES)
605 maintainer-clean:: extraclean
606 @echo 'This command is intended for maintainers to use; it'
607 @echo 'deletes files that may need special tools to rebuild.'
608 rm -f $(MOSTLY_CLEAN_FILES) $(CLEAN_FILES) $(DIST_CLEAN_FILES) $(MAINTAINER_CLEAN_FILES)
610 ################################################################################
614 ################################################################################
616 # Here is the ingenious jiggery pokery that allows you to build multiple versions
617 # of a program in a single build tree.
619 # The ways setup requires the following variables to be set:
621 # Expects: $(WAYS) the possible "way" strings to one of
622 # which $(way) will be set
625 ifeq "$(findstring $(way), $(WAYS))" ""
626 $(error Unknown way $(way))
630 # So how does $(way) ever get set to anything? Answer, we recursively
631 # invoke make, setting $(way) on the command line.
632 # When do we do this recursion? Answer: whenever the programmer
633 # asks make to make a target that involves a way suffix.
634 # We must remember *not* to recurse again; but that's easy: we
635 # just see if $(way) is set:
639 # If $(WAYS) = p mc, then WAY_TARGETS expands to
640 # %.p_lhs %.p_hs %.p_o ... %.mc_lhs %.p_hs ...
641 # and OTHER_WAY_TARGETS to
642 # %_p.a %_p %_mc.a %_mc
643 # where the suffixes are from $(SUFFIXES)
645 # We have to treat libraries and "other" targets differently,
646 # because their names are of the form
647 # libHS_p.a and Foo_p
648 # whereas everything else has names of the form
651 FPTOOLS_SUFFIXES := o hi hc
653 WAY_TARGETS = $(foreach way,$(WAYS),$(foreach suffix, $(FPTOOLS_SUFFIXES), %.$(way)_$(suffix)))
654 LIB_WAY_TARGETS = $(foreach way,$(WAYS),%_$(way).a %_$(way))
656 # $@ will be something like Foo.p_o
657 # $(suffix $@) returns .p_o
658 # $(subst .,.p_o) returns p_o
659 # $(subst _,.,p_o) returns p.o (clever)
660 # $(basename p.o) returns p
663 $(MAKE) way=$(basename $(subst _,.,$(subst .,,$(suffix $@)))) $@
665 # $(@F) will be something like libHS_p.a, or Foo_p
666 # $(basename $(@F)) will be libHS_p, or Foo_p
667 # The sed script extracts the "p" part.
670 $(MAKE) $(MFLAGS) $@ way=$(subst .,,$(suffix $(subst _,.,$(basename $@))))
674 # -------------------------------------------------------------------------
675 # Object and interface files have suffixes tagged with their ways
678 SRC_HC_OPTS += -hisuf $(way_)hi -hcsuf $(way_)hc -osuf $(way_)o
681 # -------------------------------------------------------------------------
682 # Rules to invoke the current target recursively for each way
684 ifneq "$(strip $(WAYS))" ""
687 # NB: the targets exclude
689 # since these are way-independent
690 all docs TAGS clean distclean mostlyclean maintainer-clean install ::
691 @echo "------------------------------------------------------------------------"
692 @echo "== Recursively making \`$@' for ways: $(WAYS) ..."
693 @echo "PWD = $(shell pwd)"
694 @echo "------------------------------------------------------------------------"
695 # Don't rely on -e working, instead we check exit return codes from sub-makes.
696 case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \
697 for i in $(WAYS) ; do \
698 echo "------------------------------------------------------------------------"; \
699 echo "== $(MAKE) way=$$i $@;"; \
700 echo "PWD = $(shell pwd)"; \
701 echo "------------------------------------------------------------------------"; \
702 $(MAKE) way=$$i --no-print-directory $(MFLAGS) $@ ; \
703 if [ $$? -eq 0 ] ; then true; else exit $$x_on_err; fi; \
705 @echo "------------------------------------------------------------------------"
706 @echo "== Finished recursively making \`$@' for ways: $(WAYS) ..."
707 @echo "PWD = $(shell pwd)"
708 @echo "------------------------------------------------------------------------"
713 include $(TOP)/mk/recurse.mk
715 # -----------------------------------------------------------------------------
718 # Sometimes we want to clean things only after the recursve cleaning
719 # has heppened (eg. if the files we're about to remove would affect
720 # the recursive traversal).
723 rm -f $(LATE_DIST_CLEAN_FILES)
726 rm -f $(LATE_DIST_CLEAN_FILES)