ghc/mk/config.mk.in

   1 # -*-makefile-*-
   2 # @configure_input@
   3
   4 # -----------------------------------------------------------------------------
   5 # GHC binary distribution configuration
   6
   7 # These settings are used by the top-level Makefile when building
   8 # binary distributions.
   9
  10 # what to include in a binary distribution
  11 GhcMainDir = ghc
  12 GhcBinDistDirs = ghc libraries hslibs
  13
  14 ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
  15 GhcBinDistShScripts = ghc-$(ProjectVersion) ghci-$(ProjectVersion) ghc-pkg-$(ProjectVersion) hsc2hs
  16 else
  17 GhcBinDistShScripts =
  18 endif
  19
  20 GhcBinDistPrlScripts =
  21 GhcBinDistLibPrlScripts = ghc-asm ghc-split
  22 GhcBinDistBins = hp2ps ghcprof
  23 GhcBinDistLinks = ghc ghci ghc-pkg
  24
  25 # -----------------------------------------------------------------------------
  26 # GHC-specific configuration settings
  27
  28 # Set to YES if $(GHC) has the readline package installed
  29 GhcHasReadline  = @GhcHasReadline@
  30
  31 # GTK+
  32 GTK_CONFIG = @GTK_CONFIG@