diff lib/mpfr/mpfr.sh @ 745:59a2fa6992bc

vanilla: re-enable static libraries
author David Demelier <markand@malikania.fr>
date Wed, 07 Aug 2019 20:05:00 +0200
parents 25cecc6dca48
children 0e6c54d47dfb
line wrap: on
line diff
--- a/lib/mpfr/mpfr.sh	Wed Aug 07 20:01:00 2019 +0200
+++ b/lib/mpfr/mpfr.sh	Wed Aug 07 20:05:00 2019 +0200
@@ -45,8 +45,7 @@
 		--host=$CHOST \
 		--prefix= \
 		--enable-shared \
-		--enable-thread-safe \
-		--disable-static
+		--enable-thread-safe
 	make
 	make install DESTDIR=$DESTDIR
 	rm -f $DESTDIR/lib/libmpfr.la