Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge

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

1 files changed, 0 insertions, 482 deletions

diff --git a/distrib/Makefile b/distrib/Makefile
deleted file mode 100644
index 91f8b3fbc4..0000000000
--- a/distrib/Makefile
+++ /dev/null
@@ -1,482 +0,0 @@
-# Building the different files of the coq distribution
-
-# Rk: parameterized targets are not accepted on DEC boxes...
-
-# config.distrib defines: VERSION, PREVIOUSVERSION, DISTRIBDIR,
-# CVSMODULE, CVSTAG, RELEASENUM and ARCH 
-sinclude config.distrib
-LOCALARCH=`uname -m`
-SYSTEM=`uname -s`
-
-BUILDTARGET=world
-INSTTARGET=install
-MAKECOQ=make
-
-# We assume we are not on pauillac, so we use ssh and scp
-SERVER=pauillac.inria.fr
-CP=scp -p
-SERVEREXEC=ssh $(SERVER) sh -c
-FTPDIR=/net/pauillac/infosystems/ftp/coq/coq
-#WWWDIR=/net/pauillac/infosystems/www/coq
-
-FTPVDIR=$(SERVER):$(FTPDIR)/V$(VERSION)
-
-######################
-
-noarguments:
-	@echo Please use either
-	@echo "make tag          to tag the current archive with the release number"
-	@echo "make tar-gz       to build a tar.gz of sources"
-	@echo "make arch-tar-gz  to prepare a binary tar.gz for this arch"
-	@echo "make rpm          to prepare source and arch rpms"
-	@echo "make src-rpm      to prepare source rpms from the tar.gz"
-	@echo "make arch-rpm     to prepare binary rpms for the current arch from the src.rpm"
-	@echo "make ide-rpm      to build a src.rpm and a rpm for coqide on this arch"
-	@echo "make ide-arch-rpm to build a rpm for coqide on this arch from the src.rpm"
-	@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 windows-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"
-	@echo "make ftp-install     to prepare the ftp repository and copy the packages done"
-	@echo "make tar-gz-ftp-install         |add the corresponding"
-	@echo "make src-rpm-ftp-install        |packages to the ftp"
-	@echo "make arch-rpm-ftp-install       |repository supposed"
-	@echo "make arch-tar-gz-ftp-install    |to be already"
-	@echo "make contrib-ftp-install	       |prepared"
-	@echo
-	@echo "make clean        to remove temporary files"
-	@echo "make cleanall     also removes built packages" 
-
-################## Main targets
-
-COQPACKAGE=coq-$(VERSION)
-
-distrib: tag tar-gz
-
-###################################################################
-# Tagging the archive
-#
-
-tag:
-	echo -n "Tagging the archive with version number $(CVSTAG)...";\
-	cvs rtag -F $(CVSTAG) $(CVSMODULE)
-
-
-## Use make LOCAL=1 to build packages from working directory...
-ifeq ($(LOCAL),1)
-# export sources of the current work directory
-WORKDIR=..
-$(COQPACKAGE):
-	@echo "Copying sources from work directory"
-	@- rm -rf $(COQPACKAGE)
-	mkdir $(COQPACKAGE)
-	cd $(WORKDIR) ; cp -rf `ls -a | egrep -v 'distrib|^\.$$|^\.\.$$'` $(DISTRIBDIR)/$(COQPACKAGE)/
-	cd $(COQPACKAGE)/ ; $(MAKECOQ) clean; \
-	  rm -fr CVS */CVS */*/CVS */*/*/CVS */*/*/*/CVS
-	find $(COQPACKAGE) -name CVS -type d -exec rm -fr {} \;
-else
-# export a fresh copy of the tagged CVS version
-$(COQPACKAGE):
-	@echo -n Exporting a fresh copy of the archive...
-	@- rm -rf $(COQPACKAGE)
-	@cvs export -d $(COQPACKAGE) -r $(CVSTAG) $(CVSMODULE)
-	@echo done
-endif
-
-###################################################################
-# .tar.gz packages (sources, binaries)
-#
-
-TARGZ=$(COQPACKAGE).tar.gz
-ARCHTAR=$(COQPACKAGE)-$(SYSTEM)-$(ARCH).tar
-ARCHTARGZ=$(COQPACKAGE)-$(SYSTEM)-$(ARCH).tar.gz
-
-tar-gz:
-	rm -f $(TARGZ)
-	$(MAKE) $(TARGZ)
-
-$(TARGZ): $(COQPACKAGE)
-	@rm -rf $(COQPACKAGE)/doc     # doc is implementation doc
-	@rm -rf $(COQPACKAGE)/distrib
-	@rm -rf $(COQPACKAGE)/KNOWN-BUGS
-	@rm -rf $(COQPACKAGE)/{TODO,ANNONCE,PROBLEMES}
-	@rm -rf $(COQPACKAGE)/theories/Num
-	@rm -rf $(COQPACKAGE)/contrib/graphs
-	@rm -rf $(COQPACKAGE)/doc/newsyntax.tex 
-	@rm -f $(COQPACKAGE)/make.result
-	@rm -rf $(COQPACKAGE)/test-suite/parser   # tests pcoq
-	@find $(COQPACKAGE) -name ".cvsignore" -exec rm {} \;
-	@echo done
-	@echo -n Building the tar.gz source package
-	@tar cvf $(COQPACKAGE).tar $(COQPACKAGE)
-	@gzip --best --force $(COQPACKAGE).tar
-	@chmod g+w $(TARGZ)
-	@echo done
-	@echo Checking release parameters
-	./check-list
-	@echo done
-
-test:
-	- rm -rf $(COQPACKAGE)
-	gunzip -c $(TARGZ) > tmp.tar
-	tar xf tmp.tar
-	rm -f tmp.tar
-	@echo Trying "$(MAKECOQ) $(BUILDTARGET) check"
-	(cd $(COQPACKAGE);\
-	 ./configure -local -opt -emacs emacs;\
-	 $(MAKECOQ) world check >& test.log;\
-	 if [ $$? = 0 ];\
-	 then echo '"$(MAKECOQ) $(BUILDTARGET) check" succeeded';\
-	 else echo '"$(MAKECOQ) $(BUILDTARGET) check" failed'; exit 1;\
-	 fi)
-	@echo "Compilation succeeded"
-
-# where binaries are compiled
-ARCHBUILDROOT=$(DISTRIBDIR)/tar-$(ARCH)
-ARCHINSTALL=$(ARCHBUILDROOT)/buildroot
-
-arch-tar-gz:
-	$(MAKE) arch-image
-	$(MAKE) arch-tar-gz-final
-
-arch-image: $(TARGZ)
-	@echo "Building $(ARCHTARGZ) to be installed in /usr/local/"
-	@echo "Warning: leading / is removed"
-	@-rm -fr $(ARCHINSTALL) $(ARCHBUILDROOT)
-	@mkdir -p $(ARCHBUILDROOT) $(ARCHINSTALL)
-	@echo "Building binaries... (see arch-image.log)"
-	(cd $(ARCHBUILDROOT);\
-	 gunzip -c $(DISTRIBDIR)/$(TARGZ) | tar xf -;\
-	 cd $(COQPACKAGE);\
-	 ./configure -prefix /usr/local -emacslib /usr/local/lib/emacs/site-lisp -opt -reals all;\
-	 $(MAKECOQ) coq check;\
-	 $(MAKECOQ) -e COQINSTALLPREFIX=$(ARCHINSTALL) BASETEXDIR=$(ARCHINSTALL) install-coq) > arch-image.log 2>&1
-	@echo " .... done"
-
-arch-tar-gz-final:
-	(cd $(ARCHBUILDROOT)/buildroot;\
-	 tar -cvf $(DISTRIBDIR)/$(COQPACKAGE)-$(SYSTEM)-$(ARCH).tar *)
-	gzip --best $(COQPACKAGE)-$(SYSTEM)-$(ARCH).tar
-	chmod g+w $(ARCHTARGZ)
-
-clean::
-	rm -fr $(ARCHINSTALL) $(ARCHBUILDROOT)
-
-cleanall::
-	rm -f $(COQPACKAGE) $(TARGZ) $(ARCHTARGZ) arch-image.log test.log
-
-###################################################################
-# RPM (Coq, CoqIde and Pcoq are separated)
-#
-rpm: src-rpm arch-rpm
-src-rpm: coq-src-rpm ide-src-rpm pcoq-src-rpm
-arch-rpm: coq-arch-rpm ide-arch-rpm pcoq-arch-rpm
-
-coq-rpm: coq-src-rpm coq-arch-rpm
-ide-rpm: ide-src-rpm ide-arch-rpm
-pcoq-rpm: pcoq-src-rpm pcoq-arch-rpm
-
-RPMTOPDIR=$(DISTRIBDIR)/RH/src
-RPMTMPPATHDIR=$(RPMTOPDIR)/admin
-RPMBUILDROOT=$(RPMTOPDIR)/install
-
-# rpm versions 2 and 3: replace rpmbuild by rpm 
-RAWRPM=rpmbuild
-RPMVERSION=`$(RAWRPM) --version | sed -e "s/RPM version \(.\).*/\1/"`
-
-# option --target avoids problem with i386/i686
-RPM=$(RAWRPM) --buildroot $(RPMBUILDROOT) --target $(ARCH) --rcfile RH/rpmrc
-
-# rpm files
-RPMEXT=$(VERSION)-$(RELEASENUM)
-COQRPMPACKAGE=coq-$(RPMEXT)
-COQIDERPMPACKAGE=coqide-$(RPMEXT)
-PCOQRPMPACKAGE=coq_ext_for_pcoq-$(RPMEXT)
-COQSRCRPM=$(COQRPMPACKAGE).src.rpm
-COQRPM=$(COQRPMPACKAGE).$(ARCH).rpm
-COQIDESRCRPM=$(COQIDERPMPACKAGE).src.rpm
-COQIDERPM=$(COQIDERPMPACKAGE).$(ARCH).rpm
-PCOQSRCRPM=$(PCOQRPMPACKAGE).src.rpm
-PCOQRPM=$(PCOQRPMPACKAGE).$(ARCH).rpm
-
-RPMLOG=$(DISTRIBDIR)/RH/rpm.log
-RPMFILESLOG=$(DISTRIBDIR)/RH/coqfiles.log
-
-coq-src-rpm: $(COQSRCRPM)
-coq-arch-rpm: $(COQRPM)
-
-ide-src-rpm: $(COQIDESRCRPM)
-ide-arch-rpm: $(COQIDERPM)
-
-pcoq-src-rpm: $(PCOQSRCRPM)
-pcoq-arch-rpm: $(PCOQRPM)
-
-$(RPMTOPDIR):
-	@mkdir -p $(RPMTOPDIR)/BUILD
-	@mkdir -p $(RPMTOPDIR)/RPMS
-	@mkdir -p $(RPMTOPDIR)/SOURCES
-	@mkdir -p $(RPMTOPDIR)/SPECS
-	@mkdir -p $(RPMTOPDIR)/SRPMS
-	@mkdir -p $(RPMTMPPATHDIR)
-	@mkdir -p $(RPMTOPDIR)/RPMS/$(ARCH)
-
-RH/rpmrc: config.distrib $(RPMTOPDIR)
-	(if [ "$(RPMVERSION)" != "2" ];\
-	then\
-	echo %_topdir $(RPMTOPDIR) > RH/rpmmacros;\
-	echo %_tmppath $(RPMTMPPATHDIR) >> RH/rpmmacros;\
-	echo %_arch $(ARCH) >> RH/rpmmacros;\
-	echo macrofiles:/usr/lib/rpm/macros:RH/rpmmacros > RH/rpmrc;\
-	else\
-	echo topdir: $(RPMTOPDIR) > RH/rpmrc;\
-	echo tmppath: $(RPMTMPPATHDIR) >> RH/rpmrc;\
-	fi)
-
-%-$(RPMEXT).src.rpm: RH/%.spec $(TARGZ) RH/rpmrc
-	cp -f petit-coq.gif $(RPMTOPDIR)/SOURCES
-	cp -f $(TARGZ) $(RPMTOPDIR)/SOURCES
-	$(RPM) -bs RH/$*.spec
-	mv $(RPMTOPDIR)/SRPMS/$@ .
-	chmod g+w $@
-
-%.$(ARCH).rpm: %.src.rpm
-	@mkdir -p $(RPMBUILDROOT)
-	@echo "Building the $(ARCH) rpm for $*... (see RH/rpm.log)"
-	$(RPM) --rebuild $< > $(RPMLOG)
-	mv $(RPMTOPDIR)/RPMS/$(ARCH)/$@ .
-	chmod g+w $@
-
-clean::
-	rm -fr $(RPMTOPDIR) RH/rpmmacros RH/rpmrc
-
-cleanall::
-	rm -f *.rpm $(RPMLOG) $(RPMFILESLOG)
-
-###################################################################
-# Zip for Windows (package does not contain coqide)
-#
-
-COQWINZIP=$(COQPACKAGE)-Win.zip
-WINBUILDROOT=$(DISTRIBDIR)/winbuildroot
-WININSTALL=$(DISTRIBDIR)/wininstallroot
-
-
-win: $(COQWINZIP)
-
-$(COQWINZIP): $(TARGZ)
-	@echo "Building $(COQWINZIP) to be installed in \coq\bin"
-	@echo "Warning: leading / is removed"
-	@-rm -fr $(WINBUILDROOT) $(WININSTALL)
-	@-mkdir -p $(WINBUILDROOT) $(WININSTALL)
-	@echo "Compiling and installing coq... (see win.log)"
-	(cd $(WINBUILDROOT);\
-	 gunzip -c $(DISTRIBDIR)/$(TARGZ) | tar xf -;\
-	 cd $(COQPACKAGE);\
-	 ./configure -bindir /coq/bin -libdir /coq/lib -mandir /coq/man -emacslib /coq/emacs -reals all -coqide no;\
-	 $(MAKECOQ) coq;\
-	 $(MAKECOQ) -e COQINSTALLPREFIX=$(WININSTALL) BASETEXDIR=$(WININSTALL) install-coq) > win.log
-	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: $(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::
-	rm -fr $(WINBUILDROOT) $(WININSTALL)
-
-cleanall::
-	rm -f $(COQWINZIP) win.log
-
-###################################################################
-# Debian
-#
-
-COQDEBPACKAGE=coq_$(VERSION)-$(RELEASENUM)_i386.deb
-COQDEBCHANGES=coq_$(VERSION)-$(RELEASENUM)_*.changes
-COQDEBORIG=coq_$(VERSION).orig
-COQDEBTARGZ=$(COQDEBORIG).tar.gz
-COQIDEDEBPACKAGE=coqide_$(VERSION)-$(RELEASENUM)_i386.deb
-
-DEBIANBUILD=$(DISTRIBDIR)/deb/build
-DEBIANLOG=$(DISTRIBDIR)/deb/deb.log
-LINTIANLOG=$(DISTRIBDIR)/deb/lintian.log
-
-deb: prep-deb
-	cd $(DEBIANBUILD)/$(COQPACKAGE) ;\
-	 dpkg-buildpackage -rfakeroot -uc -us 2>&1 | tee $(DEBIANLOG)
-	(lintian $(DEBIANBUILD)/$(COQDEBCHANGES) | tee $(LINTIANLOG)) || true
-
-$(COQDEBTARGZ): $(TARGZ)
-	tar xzf $(TARGZ)
-	mv $(COQPACKAGE) $(COQDEBORIG)
-	tar czf $(COQDEBTARGZ) $(COQDEBORIG)	
-	rm -rf $(COQDEBORIG)
-
-prep-deb: $(COQDEBTARGZ) $(TARGZ)
-	@rm -rf $(DEBIANBUILD)
-	@mkdir -p $(DEBIANBUILD)
-	cp $(COQDEBTARGZ) $(DEBIANBUILD)
-	cd $(DEBIANBUILD) ; tar xzf $(DISTRIBDIR)/$(TARGZ)
-	cp -a debian $(DEBIANBUILD)/$(COQPACKAGE)
-	rm -rf $(DEBIANBUILD)/$(COQPACKAGE)/debian/CVS
-	date > prep-deb
-
-deb-sign: prep-deb
-	cd $(DEBIANBUILD)/$(COQPACKAGE) ;\
-	 dpkg-buildpackage -rfakeroot 2>&1 | tee $(DEBIANLOG)
-	(lintian $(DEBIANBUILD)/$(COQDEBCHANGES) | tee $(LINTIANLOG)) || true
-
-
-clean::
-	rm -fr $(DEBIANBUILD)
-
-cleanall::
-	rm -f $(DEBIANLOG) $(LINTIANLOG)
-
-###################################################################
-# Mac OS X
-#
-
-MACOSXPKG=coq-$(VERSION).pkg
-MACOSXDMG=coq-$(VERSION)-macosx.dmg
-
-macosx:
-	# Builds the /usr/local/bin image
-	$(MAKE) arch-image
-	# Builds the pkg file
-	$(MAKE) macosx-pkg
-	$(MAKE) macosx-dmg
-
-macosx-pkg:
-	# Builds the info file
-	sed -e "s/VERSION/$(VERSION)/g" MacOS-X/coq.info.template > MacOS-X/coq-$(VERSION).info
-	# Builds the resources files
-	rm -rf MacOS-X/Resources
-	mkdir MacOS-X/Resources
-	sed -e "s/VERSION/$(VERSION)/g" MacOS-X/Licence.rtf.template > MacOS-X/Resources/License.rtf
-	sed -e "s/VERSION/$(VERSION)/g" MacOS-X/Welcome.rtf.template > MacOS-X/Resources/Welcome.rtf
-	cp MacOS-X/ReadMe.rtf.template MacOS-X/Resources/ReadMe.rtf
-	# Builds the pkg file
-	MacOS-X/package $(ARCHINSTALL) MacOS-X/coq-$(VERSION).info -r MacOS-X/Resources
-
-
-macosx-dmg:
-	rm -f $(MACOSXDMG)
-	# We successively :
-	# - create the dmg file
-	# - bind it to a device /dev/diskXs2 (name)
-	# - create the file system and name it "Coq X.X"
-	# - unbind the device and mount the image on /Volumes
-	# - copy the package
-	# - unbind again the image for cleaning up the installation
-	(export size=`du -s $(MACOSXPKG) | cut -dc -f 1`;\
-	hdiutil create -sectors `expr $$size + 1000` $(MACOSXDMG);\
-	export name=`hdid -nomount $(MACOSXDMG) | tail -1 | cut -d" " -f 1`;\
-	newfs_hfs -v "Coq $(VERSION)" $$name;\
-	hdiutil detach $$name;\
-	export name=`hdid $(MACOSXDMG) | tail -1 | cut -d" " -f 1`;\
-	ditto -rsrcFork -v $(MACOSXPKG) "/Volumes/Coq $(VERSION)/$(MACOSXPKG)";\
-	hdiutil detach $$name)
-
-
-###################################################################
-# contribs and patches
-#
-contrib-tag:
-	echo -n "Tagging the contrib with version number $(CVSTAG)...";\
-	cvs rtag -F $(CVSTAG) contrib
-	@echo done
-
-contrib-tar-gz:
-	- rm -rf contrib-$(VERSION)
-	@echo -n Exporting a fresh copy of the contribs...
-	cvs export -d contrib-$(VERSION) -r $(CVSTAG) contrib
-	@echo -n Removing the maintenance files ...
-	@rm -rf contrib-$(VERSION)/*/*/bench.log
-	@rm -rf contrib-$(VERSION)/Lyon/PROGRAMS
-	@find contrib-$(VERSION) -name ".cvsignore" -exec rm {} \;
-	@echo done
-	- rm contrib-$(VERSION).tar.gz
-	@echo -n Building the tar.gz contrib package
-	@tar cvf contrib-$(VERSION).tar contrib-$(VERSION)
-	@gzip --best contrib-$(VERSION).tar
-	@echo done
-
-
-patch: $(COQPACKAGE)
-	scp pauillac.inria.fr:$(FTPDIR)/V$(PREVIOUSVERSION)/coq-$(PREVIOUSVERSION).tar.gz .
-	rm -rf coq-$(PREVIOUSVERSION)
-	gunzip -c coq-$(PREVIOUSVERSION).tar.gz | tar xf -
-	(diff -rc coq-$(PREVIOUSVERSION) $(COQPACKAGE)\
-	 > patch-$(VERSION)-$(PREVIOUSVERSION);\
-	 gzip --best patch-$(VERSION)-$(PREVIOUSVERSION))
-
-###################################################################
-# Installation in the ftp repository
-#
-
-ftp-install: prep-ftp-install
-	$(CP) $(COQPACKAGE)/CHANGES $(FTPVDIR)/
-	$(CP) $(COQPACKAGE)/README $(FTPVDIR)/
-	$(CP) $(COQPACKAGE)/README.win $(FTPVDIR)/
-	$(CP) $(COQPACKAGE)/README.macosx $(FTVPDIR)/
-	$(CP) $(TARGZ) $(FTPVDIR)/
-	$(CP) $(COQPACKAGE)-*.tar.gz $(FTPVDIR)/
-	$(CP) $(COQRPMPACKAGE).*.rpm $(FTPVDIR)/
-
-# prep-ftp-install: $(FTPDIR)/V$(VERSION)
-prep-ftp-install: 
-	- $(SERVEREXEC) mkdir -p -m g+w $(FTPDIR)/V$(VERSION)
-
-final-ftp-install:
-	$(SERVEREXEC) "'(cd $(FTPDIR); rm -f current;ln -sf V$(VERSION) current)'"
-
-tar-gz-ftp-install: prep-ftp-install
-	chmod g+w $(TARGZ)
-	$(CP) $(TARGZ) $(FTPVDIR)/
-
-src-rpm-ftp-install: prep-ftp-install
-	chmod g+w $(COQSRCRPM)
-	$(CP) *.src.rpm $(FTPVDIR)/
-
-arch-rpm-ftp-install: prep-ftp-install
-	chmod g+w $(COQRPM)
-	$(CP) *.$(ARCH).rpm $(FTPVDIR)/
-
-arch-tar-gz-ftp-install: prep-ftp-install
-	chmod g+w $(ARCHTARGZ)
-	$(CP) $(ARCHTARGZ) $(FTPVDIR)/
-
-contrib-ftp-install: prep-ftp-install
-	chmod g+w contrib-$(VERSION).tar.gz
-	$(CP) contrib-$(VERSION).tar.gz $(FTPVDIR)/
-
-patch-ftp-install: prep-ftp-install
-	chmod g+w patch-$(VERSION)-$(PREVIOUSVERSION).gz
-	$(CP) patch-$(VERSION)-$(PREVIOUSVERSION).gz $(FTPVDIR)/
-
-###################################################################
-# Special targets
-#
-
-#clean::
-
-cleanall:: clean
-	rm -f config.distrib
-