diff --git a/gmp/ghc.mk b/gmp/ghc.mk
index 3549a2610af1749d973c3442be41d6bc0f5d6c3c..08e6747d2dc969ac0dd4785b1d9a606c9cc0737b 100644
--- a/gmp/ghc.mk
+++ b/gmp/ghc.mk
@@ -45,11 +45,12 @@ HaveFrameworkGMP = NO
 endif
 endif
 
+$(libraries/integer-gmp_dist-install_v_CMM_OBJS): libraries/integer-gmp/cbits/GmpDerivedConstants.h
+$(libraries/integer-gmp_dist-install_v_C_OBJS):   libraries/integer-gmp/cbits/GmpDerivedConstants.h
+
 ifneq "$(HaveLibGmp)" "YES"
 ifneq "$(HaveFrameworkGMP)" "YES"
 libraries/integer-gmp/cbits/mkGmpDerivedConstants$(exeext): libraries/integer-gmp/gmp/gmp.h
-$(libraries/integer-gmp_dist-install_v_CMM_OBJS): libraries/integer-gmp/cbits/GmpDerivedConstants.h
-$(libraries/integer-gmp_dist-install_v_C_OBJS):   libraries/integer-gmp/cbits/GmpDerivedConstants.h
 
 libraries/integer-gmp_CC_OPTS += -I$(TOP)/libraries/integer-gmp/gmp