diff options
Diffstat (limited to 'src/gcc-isl.mk')
| -rw-r--r-- | src/gcc-isl.mk | 1 |
1 files changed, 1 insertions, 0 deletions
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 |