Bill Allombert on Fri, 21 Jun 2002 18:55:35 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

[patch] make bzdist

Hello PARI CVS users,

This patch add a bzdist target, similar to the distrib target that
make a bzpi2'ed archive instead of a gzip'ed.

The advantage is that it is smaller and fit in a 1440ko floppy.


Index: config/TOP_Make.SH
RCS file: /home/megrez/cvsroot/pari/config/TOP_Make.SH,v
retrieving revision 1.18
diff -u -r1.18 TOP_Make.SH
--- config/TOP_Make.SH	2002/05/30 10:44:01	1.18
+++ config/TOP_Make.SH	2002/06/21 16:51:00
@@ -41,6 +41,7 @@
 	@echo "	dbg	                Compile gp binary suitable for debugging"
 	@echo "	prf	                Compile gp binary suitable for profiling"
 	@echo "	distrib			Create a new distribution"
+	@echo "	bzdist			Create a new bzip2'ed distribution"
 	@echo "	ctags			Generate VI/VIM tags file in ./src"
 	@echo "	etags			Generate Emacs  tags file in ./src"
 	@echo "	tune	                Generate tuning utility"
@@ -75,6 +76,9 @@
 distrib: tar setdir
 	gzip $tarfile
 	mv $tarfile.gz $ztarfile
+bzdist: tar setdir
+	bzip2 $tarfile
 dosdistrib: gpman