diff options
| author | Mitch Tishmack <mitch.tishmack@gmail.com> | 2016-08-11 18:16:28 -0500 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2017-02-10 08:54:36 +0000 |
| commit | 3fd25eea1eb2591fc1aaa3839e22cbf5ead0d0a5 (patch) | |
| tree | 120adced831a8c8c380bd3594a04613d15de5ad6 /testing/ghc-bootstrap/bootstrap/gmpurl.patch | |
| parent | 42ff38f7e57011787fb3eb89d1106df03844c5c4 (diff) | |
| download | aports-3fd25eea1eb2591fc1aaa3839e22cbf5ead0d0a5.tar.bz2 aports-3fd25eea1eb2591fc1aaa3839e22cbf5ead0d0a5.tar.xz | |
testing/ghc-bootstrap: simplify/unify aport
The bootstrap port now sets up needed settings at apk build time instead
of at docker build time. Should be less brittle for changes.
Diffstat (limited to 'testing/ghc-bootstrap/bootstrap/gmpurl.patch')
| -rw-r--r-- | testing/ghc-bootstrap/bootstrap/gmpurl.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/testing/ghc-bootstrap/bootstrap/gmpurl.patch b/testing/ghc-bootstrap/bootstrap/gmpurl.patch deleted file mode 100644 index c919fa3946..0000000000 --- a/testing/ghc-bootstrap/bootstrap/gmpurl.patch +++ /dev/null @@ -1,22 +0,0 @@ -diff -r d72695b410e3 defs.sh ---- a/defs.sh Sun Jul 26 15:38:58 2015 -0400 -+++ b/defs.sh Sun Jan 31 23:18:18 2016 +0000 -@@ -221,7 +221,7 @@ - gccprereqs() { - if [ ! -e gcc-$GCC_VERSION/gmp ] - then -- fetchextract http://gmplib.org/download/gmp/ gmp-$GMP_VERSION .tar.bz2 -+ fetchextract http://gmplib.org/download/gmp/archive/ gmp-$GMP_VERSION .tar.bz2 - mv gmp-$GMP_VERSION gcc-$GCC_VERSION/gmp - fi - ---- a/extra/build-gcc-deps.sh Sun Jul 26 15:38:58 2015 -0400 -+++ b/extra/build-gcc-deps.sh Sun Jan 31 23:18:18 2016 +0000 -@@ -28,7 +28,7 @@ - PREFIX="$CC_PREFIX/$TRIPLE" - - # GMP --fetchextract ftp://ftp.gmplib.org/pub/gmp-$GMP_VERSION/ gmp-$GMP_VERSION .tar.bz2 -+fetchextract ftp://ftp.gmplib.org/pub/archive/gmp-$GMP_VERSION/ gmp-$GMP_VERSION .tar.bz2 - cp -f "$MUSL_CC_BASE/extra/config.sub" gmp-$GMP_VERSION/configfsf.sub - buildinstall '' gmp-$GMP_VERSION --host="$TRIPLE" --enable-static --disable-shared |