diff options
Diffstat (limited to 'development')
| -rw-r--r-- | development/gcc5/gcc5.SlackBuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/development/gcc5/gcc5.SlackBuild b/development/gcc5/gcc5.SlackBuild index f9a03116c5eb6..a96e4541cd3b5 100644 --- a/development/gcc5/gcc5.SlackBuild +++ b/development/gcc5/gcc5.SlackBuild @@ -401,6 +401,7 @@ ANTLJAR=$(echo $CWD/antlr-*.jar | tail -1) --enable-lto \ --disable-install-libiberty \ --with-gnu-ld \ + --without-isl \ --verbose \ --enable-java-home \ --with-java-home=/usr/lib$LIBDIRSUFFIX/jvm/jre \ |