diff lib/mpfr/mpfr.sh @ 549:bad483aace64

vanilla: use prefix= instead
author David Demelier <markand@malikania.fr>
date Sun, 23 Jun 2019 15:13:10 +0200
parents eec0faf3636c
children 25cecc6dca48
line wrap: on
line diff
--- a/lib/mpfr/mpfr.sh	Tue Apr 16 20:01:00 2019 +0200
+++ b/lib/mpfr/mpfr.sh	Sun Jun 23 15:13:10 2019 +0200
@@ -43,7 +43,7 @@
 	./configure \
 		--build=$CBUILD \
 		--host=$CHOST \
-		--prefix=/ \
+		--prefix= \
 		--enable-shared \
 		--enable-thread-safe \
 		--disable-static