1 files changed, 0 insertions, 11 deletions
diff --git a/extra/gmp/build b/extra/gmp/build
deleted file mode 100755
index 412be89a..00000000
--- a/extra/gmp/build
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh -e
-
-./configure \
-    --prefix=/usr \
-    --localstatedir=/var/state/gmp \
-    --enable-cxx \
-    --enable-fat \
-    --with-pic
-
-make
-make DESTDIR="$1" install