diff options
Diffstat (limited to 'Build/source/libs/mpfr/Makefile.am')
-rw-r--r-- | Build/source/libs/mpfr/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/libs/mpfr/Makefile.am b/Build/source/libs/mpfr/Makefile.am index 4759c51dfe7..870847ac536 100644 --- a/Build/source/libs/mpfr/Makefile.am +++ b/Build/source/libs/mpfr/Makefile.am @@ -79,6 +79,7 @@ nodist_libmpfr_a_SOURCES = \ @MPFR_TREE@/src/isnum.c \ @MPFR_TREE@/src/isqrt.c \ @MPFR_TREE@/src/log.c \ + @MPFR_TREE@/src/min_prec.c \ @MPFR_TREE@/src/mpfr-gmp.c \ @MPFR_TREE@/src/mpn_exp.c \ @MPFR_TREE@/src/mp_clz_tab.c \ |