bad library versions in 4.3.1 ?

[Vincent Lefevre]

On 2009-05-28 13:26:06 +0200, Torbjorn Granlund wrote:
> Perhaps you have a patch for GMP doing what's needed?

I propose the attached patch.

The first test checks that you have added a comment like

#        4.3.1    8:1:5    5:1:1   4:15:1

for the current version and that the version numbers correspond to
the variables defined below (LIBGMP_LT_CURRENT, etc.).

The second test checks that you don't have two identical library
versions (the known errors for GMP 4.1.4 are discarded).

-- 
Vincent Lefèvre <vincent at vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
-------------- next part --------------
--- Makefile.am.bak	2009-05-12 08:12:12.000000000 +0200
+++ Makefile.am	2009-05-28 14:07:50.000000000 +0200
@@ -405,3 +405,6 @@
 dist-hook:
 	-find $(distdir) \( -name CVS -type d \) -o -name "*~" -o -name ".#*" \
 		| xargs rm -rf
+	grep -F $(VERSION) $(srcdir)/Makefile.am \
+		| grep -q "^# *$(VERSION) *$(LIBGMP_LT_CURRENT):$(LIBGMP_LT_REVISION):$(LIBGMP_LT_AGE) *$(LIBGMPXX_LT_CURRENT):$(LIBGMPXX_LT_REVISION):$(LIBGMPXX_LT_AGE) *$(LIBMP_LT_CURRENT):$(LIBMP_LT_REVISION):$(LIBMP_LT_AGE)"
+	test -z "`sed -n 's/^# *[0-9]*\.[0-9]*\.[0-9]* *\([0-9]*:[0-9]*:[0-9]*\) *\([0-9]*:[0-9]*:[0-9]*\) *\([0-9]*:[0-9]*:[0-9]*\).*/A\1\nB\2\nC\3/p' $(srcdir)/Makefile.am | grep -v 'A6:3:3\|B3:5:0\|C4:7:1' | sort | uniq -d`"