summary refs log tree commit diff
diff options
context:
space:
mode:
authorLeah Neukirchen <leah@vuxu.org>2020-02-05 10:12:13 +0100
committerLeah Neukirchen <leah@vuxu.org>2020-02-05 10:12:13 +0100
commitd035d68d0660b9fb5e15af576193abc59aa4fb9f (patch)
treeb0a598794272bda74bd0e1113d04a84a29ffa9ad
parent4be2e4a87afc99d11aebe34dc289786aa912b7cd (diff)
downloadmewix-d035d68d0660b9fb5e15af576193abc59aa4fb9f.tar.gz
mewix-d035d68d0660b9fb5e15af576193abc59aa4fb9f.tar.xz
mewix-d035d68d0660b9fb5e15af576193abc59aa4fb9f.zip
gcc: use in-tree build for gmp, mpc, mpfr, add isl
-rw-r--r--def/a/gcc11
-rw-r--r--def/a/gmp3
-rw-r--r--def/a/mpc3
-rw-r--r--def/a/mpfr3
4 files changed, 10 insertions, 10 deletions
diff --git a/def/a/gcc b/def/a/gcc
index 56d8d8e..ce9c5ae 100644
--- a/def/a/gcc
+++ b/def/a/gcc
@@ -1,10 +1,19 @@
 pkgname=gcc
 version=9.2.0
-distfiles="http://ftp.gnu.org/gnu/${pkgname}/${pkgname}-${version}/${pkgname}-${version}.tar.xz"
+distfiles="http://ftp.gnu.org/gnu/${pkgname}/${pkgname}-${version}/${pkgname}-${version}.tar.xz
+ https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz
+ https://www.mpfr.org/mpfr-4.0.2/mpfr-4.0.2.tar.xz
+ http://ftp.gnu.org/gnu/mpc/mpc-1.1.0.tar.gz
+ http://isl.gforge.inria.fr/isl-0.21.tar.bz2"
 
 configure_args="--enable-languages=c,c++,lto --disable-multilib --disable-libsanitizer --build=x86_64-linux-musl"
 
 post_extract() {
+  mv ../gmp-6.1.2 gmp
+  mv ../mpfr-4.0.2 mpfr
+  mv ../mpc-1.1.0 mpc
+  mv ../isl-0.21 isl
+
   # disable fixinc crap
   sed -i 's@\./fixinc\.sh@-c true@' gcc/Makefile.in
 
diff --git a/def/a/gmp b/def/a/gmp
deleted file mode 100644
index dc00b4d..0000000
--- a/def/a/gmp
+++ /dev/null
@@ -1,3 +0,0 @@
-pkgname=gmp
-version=6.1.2
-distfiles="http://gmplib.org/download/${pkgname}/${pkgname}-${version}.tar.xz"
diff --git a/def/a/mpc b/def/a/mpc
deleted file mode 100644
index 6a91e23..0000000
--- a/def/a/mpc
+++ /dev/null
@@ -1,3 +0,0 @@
-pkgname=mpc
-version=1.1.0
-distfiles="http://ftp.gnu.org/gnu/${pkgname}/${pkgname}-${version}.tar.gz"
diff --git a/def/a/mpfr b/def/a/mpfr
deleted file mode 100644
index 6be4b72..0000000
--- a/def/a/mpfr
+++ /dev/null
@@ -1,3 +0,0 @@
-pkgname=mpfr
-version=4.0.2
-distfiles="http://www.mpfr.org/${pkgname}-${version}/${pkgname}-${version}.tar.xz"