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