Bill Allombert on Thu, 20 Jun 2002 19:36:33 +0200


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

add cvs date in GP status


Hello PARI cvs users,

if you sometime 'make install' pari CVS version, you may want to apply the
following patch.

This change the GP header to read

          GP/PARI CALCULATOR Version 2.2.4 (development cvs-20020620)
          
(if we are the 2002 06 20 that is) so you know which version you use.
Also if you report a bug we have a better chance to know what happen. It is
easy to recover the CVS tree as of a specific date.

Should I commit it ?? it is a bit too simple-minded.

Bill.

Index: config/version
===================================================================
RCS file: /home/megrez/cvsroot/pari/config/version,v
retrieving revision 1.22
diff -u -r1.22 version
--- config/version      2002/06/12 16:19:17     1.22
+++ config/version      2002/06/20 17:29:16
@@ -10,5 +10,9 @@
 # Status: alpha, beta, released, development
 status='development'

+if test -d CVS; then
+  status=`date +"$status cvs-%Y%m%d"`
+fi
+
 # soname of stable libpari.so is libpari.so.$soname_num
 soname_num=$patch