diff options
author | tamasmeszaros <meszaros.q@gmail.com> | 2020-01-21 11:44:18 +0300 |
---|---|---|
committer | tamasmeszaros <meszaros.q@gmail.com> | 2020-01-21 12:12:45 +0300 |
commit | 053818d0285aeec186cdc9aa874133c877a3924d (patch) | |
tree | a5be4fa6095eceb51b0a79ff0cbf52d68a506d02 /deps | |
parent | d8325cfc06370e7383e622405ab40345b3df30c9 (diff) |
Fix MPFR being built as shared library
Diffstat (limited to 'deps')
-rw-r--r-- | deps/MPFR/MPFR.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deps/MPFR/MPFR.cmake b/deps/MPFR/MPFR.cmake index 17ac283ea..cda7eeea9 100644 --- a/deps/MPFR/MPFR.cmake +++ b/deps/MPFR/MPFR.cmake @@ -21,7 +21,7 @@ else () ExternalProject_Add(dep_MPFR URL http://ftp.vim.org/ftp/gnu/mpfr/mpfr-3.1.6.tar.bz2 https://www.mpfr.org/mpfr-3.1.6/mpfr-3.1.6.tar.bz2 # mirrors are allowed BUILD_IN_SOURCE ON - CONFIGURE_COMMAND ./configure --prefix=${DESTDIR}/usr/local --with-gmp=${DESTDIR}/usr/local --with-pic + CONFIGURE_COMMAND ./configure --prefix=${DESTDIR}/usr/local --enable-shared=no --enable-static=yes --with-gmp=${DESTDIR}/usr/local --with-pic BUILD_COMMAND make -j INSTALL_COMMAND make install DEPENDS dep_GMP |