1 files changed, 0 insertions, 8 deletions
diff --git a/extra/mpfr/build b/extra/mpfr/build
deleted file mode 100755
index 9e85cfce..00000000
--- a/extra/mpfr/build
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh -e
-
-./configure \
-    --prefix=/usr \
-    --enable-shared
-
-make
-make DESTDIR="$1" install