diff --git a/ChangeLog b/ChangeLog
index 996a5f1266645c299c8b33cd18faf786649b9308..ce8dde47a423861d7d7bcf7e4dcf67168318b5d2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2013-04-17  Niels Möller  <nisse@lysator.liu.se>
 
+	* Makefile.in (eccdata): Depend on mini-gmp files. Drop -lgmp.
+
 	* eccdata.c: Use mini-gmp, to avoid gmp dependency and associated
 	configure tests for the *build* system. Replaced mpz_submul_ui by
 	mpz_mul_ui + mpz_sub, and gmp_printf and gmp_fprintf by calls to
diff --git a/Makefile.in b/Makefile.in
index d8f6ff7a71e53c73521136dff1babd099d73bc87..13e74c62f9a9c671a5f6f614a0dc89b6bf42722a 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -248,7 +248,7 @@ gcmdata$(EXEEXT_FOR_BUILD): gcmdata.c
 	-o gcmdata$(EXEEXT_FOR_BUILD)
 
 eccdata$(EXEEXT_FOR_BUILD): eccdata.c mini-gmp.c mini-gmp.h
-	$(CC_FOR_BUILD) `test -f eccdata.c || echo '$(srcdir)/'`eccdata.c -lgmp \
+	$(CC_FOR_BUILD) `test -f eccdata.c || echo '$(srcdir)/'`eccdata.c \
 	-o eccdata$(EXEEXT_FOR_BUILD)
 
 # desCore rules