From df6b8d56b393af8c2193402b8093f51962fd226d Mon Sep 17 00:00:00 2001
From: narboux
Date: Thu, 10 Nov 2005 14:39:34 +0000
Subject: windows install

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7552 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/distrib/Makefile b/distrib/Makefile
index 3f203d6d34..91f8b3fbc4 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -289,7 +289,12 @@ $(COQWINZIP): $(TARGZ)
 MAKENSIS = "/cygdrive/c/Program Files/NSIS/makensis.exe"
 WIN_INSTALLER:= $(COQPACKAGE)-installer.exe
 
-windows-installer::
+windows-installer: $(WIN_INSTALLER)
+
+$(WIN_INSTALLER): 
+	@echo "Building Coq."
+	cd ..;./configure -prefix /coq -emacslib /coq/emacs -reals all;make world #Prefix is not used in fact.
+	@echo "Building the windows installer."
 	$(MAKENSIS) /DMY_VERSION=$(VERSION) /DOUTFILE=$(WIN_INSTALLER) windows/coq.nsi
 
 clean::
-- 
cgit v1.2.3