4 # -----------------------------------------------------------------------------
5 # GHC binary distribution configuration
7 # These settings are used by the top-level Makefile when building
8 # binary distributions.
10 # what to include in a binary distribution
12 GhcBinDistDirs = ghc libraries hslibs
14 ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32"
15 GhcBinDistShScripts = ghc-$(ProjectVersion) ghci-$(ProjectVersion) ghc-pkg-$(ProjectVersion) hsc2hs
20 GhcBinDistPrlScripts =
21 GhcBinDistLibPrlScripts = ghc-asm ghc-split
22 GhcBinDistBins = hp2ps ghcprof
23 GhcBinDistLinks = ghc ghci ghc-pkg
24 GhcBinDistLibSplicedFiles = package.conf
26 # -----------------------------------------------------------------------------
27 # GHC-specific configuration settings
29 # Set to YES if $(GHC) has the readline package installed
30 GhcHasReadline = @GhcHasReadline@
33 GTK_CONFIG = @GTK_CONFIG@