diff options
Diffstat (limited to 'Build/source/libs/gmp')
-rw-r--r-- | Build/source/libs/gmp/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/libs/gmp/Makefile.am | 1 | ||||
-rw-r--r-- | Build/source/libs/gmp/Makefile.in | 1 |
3 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/libs/gmp/ChangeLog b/Build/source/libs/gmp/ChangeLog index b3d2839f68f..20a950aeb51 100644 --- a/Build/source/libs/gmp/ChangeLog +++ b/Build/source/libs/gmp/ChangeLog @@ -1,3 +1,7 @@ +2015-07-06 Peter Breitenlohner <peb@mppmu.mpg.de> + + * Makefile.am: Better dependencies for 'make check'. + 2015-02-16 Peter Breitenlohner <peb@mppmu.mpg.de> * Makefile.am: Use the fragment ../../am/dist_hook.am. diff --git a/Build/source/libs/gmp/Makefile.am b/Build/source/libs/gmp/Makefile.am index 5cc6530748a..d383baaa5a2 100644 --- a/Build/source/libs/gmp/Makefile.am +++ b/Build/source/libs/gmp/Makefile.am @@ -465,6 +465,7 @@ check_PROGRAMS = gmptest dist_check_SCRIPTS = gmp.test TESTS = gmp.test endif build +gmp.log: gmptest$(EXEEXT) gmptest_SOURCES = gmptest.c diff --git a/Build/source/libs/gmp/Makefile.in b/Build/source/libs/gmp/Makefile.in index 70c0a4dfb68..55b5c81ec53 100644 --- a/Build/source/libs/gmp/Makefile.in +++ b/Build/source/libs/gmp/Makefile.in @@ -2488,6 +2488,7 @@ native/stamp-trialdivtab: cd native && $(MAKE) $(AM_MAKEFLAGS) stamp-trialdivtab trialdivtab.h: native/stamp-trialdivtab $(AM_V_GEN)native/gen-trialdivtab $(GMP_LIMB_BITS) 8000 >$@ || (rm -f $@; exit 1) +gmp.log: gmptest$(EXEEXT) config.force: $(reconfig_prereq) @if test -f $@; then :; else \ trap 'rm -rf reconfig.lock' 1 2 13 15; \ |