diff options
-rw-r--r-- | src/gcc-cloog.mk | 1 | ||||
-rw-r--r-- | src/gcc-gmp.mk | 3 | ||||
-rw-r--r-- | src/gcc-isl.mk | 1 | ||||
-rw-r--r-- | src/gcc-mpc.mk | 1 | ||||
-rw-r--r-- | src/gcc-mpfr.mk | 1 |
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 |