summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 28328b38a0..f51b9a8f7e 100644
--- a/Makefile
+++ b/Makefile
@@ -68,9 +68,14 @@ endif
$(MAKE) -r --no-print-directory -f ghc.mk $@
binary-dist:
+ifeq "$(mingw32_TARGET_OS)" "1"
+ $(MAKE) -r --no-print-directory -f ghc.mk windows-binary-dist
+ $(MAKE) -r --no-print-directory -f ghc.mk windows-installer
+else
rm -f bindist-list
$(MAKE) -r --no-print-directory -f ghc.mk bindist BINDIST=YES
$(MAKE) -r --no-print-directory -f ghc.mk binary-dist
+endif
clean distclean maintainer-clean:
$(MAKE) -r --no-print-directory -f ghc.mk $@ CLEANING=YES