From 94fa12e51c892ea2946a7d377128f89dc02d55c9 Mon Sep 17 00:00:00 2001 From: Dylan Araps Date: Sun, 25 Aug 2019 09:52:38 +0000 Subject: [PATCH] gmp: move out of tree --- extra/gmp/build | 18 ------------------ extra/gmp/checksums | 1 - extra/gmp/depends | 1 - extra/gmp/sources | 1 - extra/gmp/version | 1 - 5 files changed, 22 deletions(-) delete mode 100755 extra/gmp/build delete mode 100644 extra/gmp/checksums delete mode 100644 extra/gmp/depends delete mode 100644 extra/gmp/sources delete mode 100644 extra/gmp/version diff --git a/extra/gmp/build b/extra/gmp/build deleted file mode 100755 index 33a70581..00000000 --- a/extra/gmp/build +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh -e - -cp -v configfsf.guess config.guess -cp -v configfsf.sub config.sub - -./configure \ - --prefix=/usr \ - --localstatedir=/var/state/gmp \ - --build="$(gcc -dumpmachine)" \ - --enable-cxx \ - --enable-fat \ - --with-pic - -make -make DESTDIR="$1" install - -# Remove all info files. -rm -rf "$1/usr/share/info" diff --git a/extra/gmp/checksums b/extra/gmp/checksums deleted file mode 100644 index d5e0011c..00000000 --- a/extra/gmp/checksums +++ /dev/null @@ -1 +0,0 @@ -87b565e89a9a684fe4ebeeddb8399dce2599f9c9049854ca8c0dfbdea0e21912 gmp-6.1.2.tar.xz diff --git a/extra/gmp/depends b/extra/gmp/depends deleted file mode 100644 index e8fb4a13..00000000 --- a/extra/gmp/depends +++ /dev/null @@ -1 +0,0 @@ -m4 make diff --git a/extra/gmp/sources b/extra/gmp/sources deleted file mode 100644 index 4fc21623..00000000 --- a/extra/gmp/sources +++ /dev/null @@ -1 +0,0 @@ -https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz diff --git a/extra/gmp/version b/extra/gmp/version deleted file mode 100644 index a660a1ad..00000000 --- a/extra/gmp/version +++ /dev/null @@ -1 +0,0 @@ -6.1.2 4