summaryrefslogtreecommitdiff
path: root/Build/source/libs/mpfr/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs/mpfr/Makefile.am')
-rw-r--r--Build/source/libs/mpfr/Makefile.am1
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 \