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-13 14:38:02 +0200 |
| commit | 20fb208e2d61ef333f0ae1481eb687b6f641f59a (patch) | |
| tree | c0bb32ed3d739ecae664a5ec99c3295b41abd228 /testing/ghc-bootstrap/bootstrap/gmpurl.patch | |
| parent | 47407f929092502aab6386b14f9caefe181a6569 (diff) | |
| download | aports-20fb208e2d61ef333f0ae1481eb687b6f641f59a.tar.bz2 aports-20fb208e2d61ef333f0ae1481eb687b6f641f59a.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 |