ajout installer windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7547 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 12 insertions, 0 deletions

diff --git a/distrib/Makefile b/distrib/Makefile
index 3eba7d629..f158a1ad0 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -36,6 +36,7 @@ noarguments:
 	@echo "make pcoq-rpm     to build a src.rpm and a rpm for pcoq on this arch"
 	@echo "make deb          to build a debian package"
 	@echo "make win          to build a windows package"
+	@echo "make win-installer to build a windows install program"
 	@echo "make macosx       to build a MacOS-X package on a disk image"
 	@echo "make contrib-tag     to tag the current contrib state with the release number"
 	@echo "make contrib-tar-gz  to build a tar.gz of contrib sources"
@@ -280,6 +281,17 @@ $(COQWINZIP): $(TARGZ)
 	mv $(WINBUILDROOT)/$(COQPACKAGE)/INSTALL.win $(WININSTALL)/INSTALL.txt
 	cd $(WININSTALL); zip -A -r $(DISTRIBDIR)/$(COQWINZIP) *
 
+#################################
+# Windows installer
+# Needs Nsis http://nsis.sourceforge.net/Main_Page
+#################################
+
+MAKENSIS = "/cygdrive/c/Program Files/NSIS/makensis.exe"
+WIN_INSTALLER:= $(COQPACKAGE)-installer.exe
+
+windows-installer::
+	$(MAKENSIS) /DMY_VERSION=$(VERSION) /DOUTFILE=$(WIN_INSTALLER) windows/coq.nsi
+
 clean::
 	rm -fr $(WINBUILDROOT) $(WININSTALL)