mpc1: move out of tree

2025-03-27 16:22:46 -06:00 · 2019-08-05 10:12:03 +03:00 · 2019-08-05 10:12:03 +03:00 · b03066d39c
commit b03066d39c
parent 20ccec70df
5 changed files with 0 additions and 17 deletions
--- a/extra/mpc1/build
+++ b/extra/mpc1/build
@ -1,12 +0,0 @@
-#!/bin/sh -e
-
-./configure \
-    --prefix=/usr \
-    --sysconfdir=/etc \
-    --enable-shared
-
-make
-make DESTDIR="$1" install
-
-# Remove all info files.
-rm -rf "$1/usr/share/info"
--- a/extra/mpc1/checksums
+++ b/extra/mpc1/checksums
@ -1 +0,0 @@
-6985c538143c1208dcb1ac42cedad6ff52e267b47e5f970183a3e75125b43c2e  mpc-1.1.0.tar.gz
--- a/extra/mpc1/depends
+++ b/extra/mpc1/depends
@ -1,2 +0,0 @@
-gmp
-mpfr
--- a/extra/mpc1/sources
+++ b/extra/mpc1/sources
@ -1 +0,0 @@
-https://ftp.gnu.org/gnu/mpc/mpc-1.1.0.tar.gz
--- a/extra/mpc1/version
+++ b/extra/mpc1/version
@ -1 +0,0 @@
-1.1.0 1
				`@ -1 +0,0 @@`
				`6985c538143c1208dcb1ac42cedad6ff52e267b47e5f970183a3e75125b43c2e mpc-1.1.0.tar.gz`
				`@ -1 +0,0 @@`
				`https://ftp.gnu.org/gnu/mpc/mpc-1.1.0.tar.gz`