diff options
author | Torbjorn Granlund <tege@gmplib.org> | 2012-06-26 14:33:01 +0200 |
---|---|---|
committer | Torbjorn Granlund <tege@gmplib.org> | 2012-06-26 14:33:01 +0200 |
commit | 69e833f469b06140eba766592d6862ff089b96c5 (patch) | |
tree | 68f2debe4195f12c3e8bc15ffc3851ad85d50797 /Makefile.am | |
parent | a9fcf9cf3ab8d220bf0cabf1b940ed011edc1f42 (diff) | |
download | gmp-69e833f469b06140eba766592d6862ff089b96c5.tar.gz |
(LIBMP_LT_*): Remove these.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Makefile.am b/Makefile.am index af5b6d0b1..4b1c2f318 100644 --- a/Makefile.am +++ b/Makefile.am @@ -92,10 +92,6 @@ LIBGMPXX_LT_CURRENT = 6 LIBGMPXX_LT_REVISION = 1 LIBGMPXX_LT_AGE = 2 -LIBMP_LT_CURRENT = 4 -LIBMP_LT_REVISION = 21 -LIBMP_LT_AGE = 1 - SUBDIRS = tests mpn mpz mpq mpf printf scanf rand cxx demos tune doc @@ -401,7 +397,7 @@ dist-hook: | xargs rm -rf cp "$(srcdir)"/mini-gmp/tests/*.[ch] "$(distdir)/mini-gmp/tests" # 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)" +# | grep -q "^# *$(VERSION) *$(LIBGMP_LT_CURRENT):$(LIBGMP_LT_REVISION):$(LIBGMP_LT_AGE) *$(LIBGMPXX_LT_CURRENT):$(LIBGMPXX_LT_REVISION):$(LIBGMPXX_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`" .PHONY: check-mini-gmp clean-mini-gmp |