| 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