diff options
author | panne <unknown> | 2004-10-23 19:54:00 +0000 |
---|---|---|
committer | panne <unknown> | 2004-10-23 19:54:00 +0000 |
commit | 45ff783c59607182888c5d151ab3cfbdb8197b49 (patch) | |
tree | 6990d2bc92968aaa39c5c857966738ff3c0fe817 | |
parent | dfb326152c72b185a1d4b01337ef69b99f47b805 (diff) |
[haddock @ 2004-10-23 19:54:00 by panne]
Improved the Cygwin/MinGW chaos a little bit. There is still confusion
about host platform vs. target platform...
-rw-r--r-- | src/Makefile | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/Makefile b/src/Makefile index b25f1ff0..160ec763 100644 --- a/src/Makefile +++ b/src/Makefile @@ -27,6 +27,7 @@ endif HS_PROG = haddock$(HS_PROG_EXT) +# Why HOST platform, not TARGET platform??? Confusing... ifeq "$(HOSTPLATFORM)" "i386-unknown-mingw32" Main_HC_OPTS += -Dmingw32_HOST_OS=1 endif @@ -55,17 +56,17 @@ ifeq "$(BIN_DIST)" "1" HADDOCKLIB=$$\"\"datadir/haddock HADDOCKBIN=$$\"\"libexecdir/$(HS_PROG) else -ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32" +ifeq "$(TARGETPLATFORM)" "i386-unknown-cygwin32" # --mixed is only provided by newer versions of cygpath (1.2 doesn't have it, for instance.) #HADDOCKLIB=$(shell cygpath --mixed $(datadir)) HADDOCKLIB=$(shell cygpath -w $(datadir) | sed -e 's%\\%/%g') else HADDOCKLIB=$(datadir) -endif # mingw +endif HADDOCKBIN=$(libexecdir)/$(HS_PROG) endif # BIN_DIST else -ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32" +ifeq "$(TARGETPLATFORM)" "i386-unknown-cygwin32" # See above comment re: --mixed #HADDOCKLIB=$(shell cygpath --mixed $(FPTOOLS_TOP_ABS)/haddock/html) HADDOCKLIB=$(shell cygpath -w $(FPTOOLS_TOP_ABS)/haddock/html | sed -e 's%\\%/%g') @@ -97,8 +98,8 @@ INTERP=$(SHELL) SCRIPT_SUBST_VARS = HADDOCKLIB HADDOCKBIN -# The script isn't installed on Windows; we run the binary directly -ifeq "$(Windows)" "NO" +# The script isn't installed on MinGW; we run the binary directly +ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32" INSTALL_SCRIPTS += $(SCRIPT_PROG) endif |