diff options
| author | herbelin | 2001-09-26 17:31:05 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-26 17:31:05 +0000 |
| commit | fe2e8f1b79f7eb8709c13227797991459b8c1e83 (patch) | |
| tree | b66116f3bfed45d9de453cfbbecaf64f5ea19e9d | |
| parent | 6956430dc9be97a3b9318e615834d73b87bb5c99 (diff) | |
Compatibilite Windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2076 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 1ca6161872..e1a4aa06db 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -44,6 +44,7 @@ noarguments: @echo "make arch-tar-gz-ftp-install |to be already" @echo "make contrib-ftp-install |prepared" @echo "make deb to build a debian package" + @echo "make win to build a windows package" ################## Main targets @@ -128,6 +129,22 @@ arch-tar-gz: ${COQPACKAGE}.tar.gz make -e COQINSTALLPREFIX=${ARCHBUILDROOT}/buildroot/ install) $(MAKE) arch-tar-gz-final +win: ${COQPACKAGE}.tar.gz + @echo "Building $(COQPACKAGE)-Win.zip to be installed in \coq\bin" + @echo "Warning: leading / is removed" + - mkdir -p ${ARCHBUILDROOT} + (cd ${ARCHBUILDROOT};\ + rm -rf ${COQPACKAGE} || true;\ + gunzip -c $(DISTRIBDIR)/${COQPACKAGE}.tar.gz | tar xf -;\ + cd ${COQPACKAGE};\ + ./configure -bindir /coq/bin -libdir /coq/lib -mandir /coq/man -emacslib /coq/emacs;\ + make world;\ + rm -rf ${ARCHBUILDROOT}/buildroot/* || true;\ + make -e COQINSTALLPREFIX=${ARCHBUILDROOT}/buildroot/ install;\ + cd ${ARCHBUILDROOT}/buildroot;\ + zip -A -r $(COQPACKAGE)-win.zip *;\ + mv $(COQPACKAGE)-Win.zip ../..) + rpm-dirs: - mkdir ${RPMTOPDIR} - mkdir ${RPMTOPDIR}/BUILD |