summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/gcc-cloog.mk1
-rw-r--r--src/gcc-gmp.mk3
-rw-r--r--src/gcc-isl.mk1
-rw-r--r--src/gcc-mpc.mk1
-rw-r--r--src/gcc-mpfr.mk1
5 files changed, 6 insertions, 1 deletions
diff --git a/src/gcc-cloog.mk b/src/gcc-cloog.mk
index 513cbeb..0f57991 100644
--- a/src/gcc-cloog.mk
+++ b/src/gcc-cloog.mk
@@ -19,6 +19,7 @@ define $(PKG)_BUILD
mkdir '$(1).build'
cd '$(1).build' && '$(1)/configure' \
--prefix='$(PREFIX)' \
+ --disable-shared \
--with-gmp-prefix='$(PREFIX)' \
--with-isl-prefix='$(PREFIX)'
$(MAKE) -C '$(1).build' -j '$(JOBS)'
diff --git a/src/gcc-gmp.mk b/src/gcc-gmp.mk
index c121310..d9f0a48 100644
--- a/src/gcc-gmp.mk
+++ b/src/gcc-gmp.mk
@@ -18,7 +18,8 @@ endef
define $(PKG)_BUILD
mkdir '$(1).build'
cd '$(1).build' && '$(1)/configure' \
- --prefix='$(PREFIX)'
+ --prefix='$(PREFIX)' \
+ --disable-shared
$(MAKE) -C '$(1).build' -j '$(JOBS)'
$(MAKE) -C '$(1).build' -j 1 install
endef
diff --git a/src/gcc-isl.mk b/src/gcc-isl.mk
index 3a46a18..a99a9da 100644
--- a/src/gcc-isl.mk
+++ b/src/gcc-isl.mk
@@ -19,6 +19,7 @@ define $(PKG)_BUILD
mkdir '$(1).build'
cd '$(1).build' && '$(1)/configure' \
--prefix='$(PREFIX)' \
+ --disable-shared \
--with-gmp-prefix='$(PREFIX)'
$(MAKE) -C '$(1).build' -j '$(JOBS)'
$(MAKE) -C '$(1).build' -j 1 install
diff --git a/src/gcc-mpc.mk b/src/gcc-mpc.mk
index d150988..9311c9a 100644
--- a/src/gcc-mpc.mk
+++ b/src/gcc-mpc.mk
@@ -19,6 +19,7 @@ define $(PKG)_BUILD
mkdir '$(1).build'
cd '$(1).build' && '$(1)/configure' \
--prefix='$(PREFIX)' \
+ --disable-shared \
--with-gmp='$(PREFIX)'
$(MAKE) -C '$(1).build' -j '$(JOBS)'
$(MAKE) -C '$(1).build' -j 1 install
diff --git a/src/gcc-mpfr.mk b/src/gcc-mpfr.mk
index 1cf03b0..78192c9 100644
--- a/src/gcc-mpfr.mk
+++ b/src/gcc-mpfr.mk
@@ -19,6 +19,7 @@ define $(PKG)_BUILD
mkdir '$(1).build'
cd '$(1).build' && '$(1)/configure' \
--prefix='$(PREFIX)' \
+ --disable-shared \
--with-gmp='$(PREFIX)'
$(MAKE) -C '$(1).build' -j '$(JOBS)'
$(MAKE) -C '$(1).build' -j 1 install