diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-14 13:05:44 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-14 13:05:44 +0000 |
commit | e5ba7f4b3911f14a8f9ad76ec0230571a99e3003 (patch) | |
tree | d1f4c53e627f94c7d59969e46f474c051b6ad459 | |
parent | 6610fa56325969b56ce36be3a4e9cc27433b5a1c (diff) | |
parent | 0506d11c3a8609b190d5ef859d5e9b46be37d360 (diff) | |
download | mpfr-e5ba7f4b3911f14a8f9ad76ec0230571a99e3003.tar.gz |
Merged the latest changes from the trunk.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/with-mini-gmp@13195 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r-- | src/Makefile.am | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 1577359c5..496cc53ad 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -91,13 +91,6 @@ libmpfr_la_LDFLAGS = $(MPFR_LDFLAGS) $(LIBMPFR_LDFLAGS) -version-info 6:0:0 $(srcdir)/get_patches.c: $(top_srcdir)/PATCHES $(top_srcdir)/tools/get_patches.sh (cd $(top_srcdir) && ./tools/get_patches.sh) > $@ || rm -f $@ -# Do not add get_patches.c to CLEANFILES so that this file doesn't -# need to be (re)built as long as no patches are applied. Anyway the -# update of this file should be regarded as part of the patch process, -# and "make clean" shouldn't remove it, just like it doesn't remove -# what has been changed by "patch". -#CLEANFILES = get_patches.c - # For check-gmp-symbols GMPC = $(top_builddir)/src/gmp.c GMPI = $(top_builddir)/src/gmp.i @@ -146,6 +139,11 @@ check-exported-symbols: $(LTLIBRARIES) fi; \ fi +# Do not add get_patches.c to CLEANFILES so that this file doesn't +# need to be (re)built as long as no patches are applied. Anyway the +# update of this file should be regarded as part of the patch process, +# and "make clean" shouldn't remove it, just like it doesn't remove +# what has been changed by "patch". CLEANFILES = $(GMPC) $(GMPI) .PHONY: check-gmp-symbols check-exported-symbols |