diff options
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-x | Build/source/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/configure b/Build/source/configure index 2768dae035c..76d89b5e5f0 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -4557,6 +4557,7 @@ esac test "x$enable_web2c:$enable_luatex" = xyes:yes && { need_poppler=yes + need_mpfr=yes need_cairo=yes need_libpng=yes need_zziplib=yes @@ -4575,6 +4576,7 @@ esac test "x$enable_web2c:$enable_luajittex" = xyes:yes && { need_poppler=yes + need_mpfr=yes need_cairo=yes need_libpng=yes need_zziplib=yes @@ -4592,6 +4594,7 @@ case $enable_mp in #( esac test "x$enable_web2c:$enable_mp" = xyes:yes && { + need_mpfr=yes need_cairo=yes need_libpng=yes } |