diff options
| -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 |