diff options
author | Lenard Spencer <lenardrspencer@gmail.com> | 2020-01-13 12:07:20 +0100 |
---|---|---|
committer | Matteo Bernardini <ponce@slackbuilds.org> | 2021-04-18 12:22:53 +0200 |
commit | 6fe8f179e0213a7262a4691f3151ce7e393fa068 (patch) | |
tree | 43224aa51cffbef245aafadcf67e18f25eaca60a /development | |
parent | 2013e5118760355a026dca6ffba5efb636118a2c (diff) |
development/gcc5: Explicitly disable isl.
The version in current is not supported by gcc-5.5.x
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
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 \ |