gmp: move out of tree

2024-07-04 15:02:27 +00:00 · 2019-08-25 09:52:38 +00:00 · 2019-08-25 09:52:38 +00:00 · 94fa12e51c
commit 94fa12e51c
parent ee753c44b0
5 changed files with 0 additions and 22 deletions
--- a/extra/gmp/build
+++ b/extra/gmp/build
@ -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"
--- a/extra/gmp/checksums
+++ b/extra/gmp/checksums
@ -1 +0,0 @@
-87b565e89a9a684fe4ebeeddb8399dce2599f9c9049854ca8c0dfbdea0e21912  gmp-6.1.2.tar.xz
--- a/extra/gmp/depends
+++ b/extra/gmp/depends
@ -1 +0,0 @@
-m4 make
--- a/extra/gmp/sources
+++ b/extra/gmp/sources
@ -1 +0,0 @@
-https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz
--- a/extra/gmp/version
+++ b/extra/gmp/version
@ -1 +0,0 @@
-6.1.2 4
				`@ -1 +0,0 @@`
				`87b565e89a9a684fe4ebeeddb8399dce2599f9c9049854ca8c0dfbdea0e21912 gmp-6.1.2.tar.xz`
				`@ -1 +0,0 @@`
				`https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz`