compiling gcc10-10.3.0-3 failed - isl version 0.15 or later required

Updating the gcc10 installation to version gcc10-10.3.0-3 failed.

The missing but required isl version is    0.15.


 > fink list isl
reveals:

Information about 13467 packages read in 5 seconds.
      cran-viridislite-r36 0.4.0-1                      Default Color 
Maps from 'matplotlib'
      isl2 0.14.1-3                     Integer Set Library
      isl2-shlibs 0.14.1-3                     Integer Set Library
  i   isl22 0.22.1-2                     Integer Set Library
  i   isl22-shlibs 0.22.1-2                     Integer Set Library
      isl3 0.18-1                       Integer Set Library
  i   isl3-shlibs 0.18-1                       Integer Set Library

No isl version 0.15 is registered yet.


The compiler log:

Setting up fink-buildlock-gcc10-10.3.0-3 (2022.01.12-10.40.45) ...

sudo -u fink-bld [ENV] sh -c /tmp/fink.lrBVr
env LANG=C LC_ALL=C /opt/sw/bin/tar  --no-same-owner 
--no-same-permissions -xf /opt/sw/src/gcc-10.3.0.tar.xz
sudo -u fink-bld [ENV] sh -c /tmp/fink.hSZ4J
[ -r /opt/sw/fink/dists/stable/main/finkinfo/languages/gcc10.patch ]
sudo -u fink-bld [ENV] sh -c /tmp/fink.o3FMB
[ -r /opt/sw/fink/dists/stable/main/finkinfo/languages/gcc10-apfs.patch ]
sudo -u fink-bld [ENV] sh -c /tmp/fink.8AVD7
[ -r 
/opt/sw/fink/dists/stable/main/finkinfo/languages/gcc10-build-sysroot.patch 
]
sudo -u fink-bld [ENV] sh -c /tmp/fink.WSEid
/tmp/fink.RoF3W
#!/bin/sh -ev
     patch -p1 < 
/opt/sw/fink/dists/stable/main/finkinfo/languages/gcc10.patch
patching file gcc/config/darwin.h
Hunk #1 succeeded at 1078 with fuzz 2 (offset 33 lines).
patching file gcc/testsuite/g++.dg/special/conpr-3.C
patching file libatomic/config/darwin/host-config.h
patching file libatomic/config/darwin/lock.c
patching file libatomic/configure.tgt
     patch -p1 < 
/opt/sw/fink/dists/stable/main/finkinfo/languages/gcc10-apfs.patch
patching file libstdc++-v3/include/Makefile.in
Hunk #1 succeeded at 1850 (offset -1 lines).
     patch -p1 < 
/opt/sw/fink/dists/stable/main/finkinfo/languages/gcc10-build-sysroot.patch
patching file Makefile.in
patching file gcc/Makefile.in
Hunk #1 succeeded at 3972 (offset 4 lines).
patching file gcc/ada/gcc-interface/Makefile.in
     # don't update live infodoc dir
     find . -name Makefile.in | xargs perl -pi -e 's/install-info 
--version/false/g'
sudo -u fink-bld [ENV] sh -c /tmp/fink.AaMQa
/tmp/fink.m6Khr
#!/bin/bash -ev
     set +x
     if [ -e /usr/local/lib/libgmp.a ] || [ -e 
/usr/local/lib/libgmp.dylib ]; then
         echo "-----WARNING-----WARNING-----WARNING-----"
         echo "You seem to have GMP installed in /usr/local."
         echo "This is known to cause gcc10 to fail to build."
         echo "Please move aside /usr/local and try again."
         echo "-----WARNING-----WARNING-----WARNING-----"
         exit 1
     else
         echo "Good, /usr/local/lib/libgmp* not present."
     fi
Good, /usr/local/lib/libgmp* not present.
     set -x
     ulimit -s `ulimit -s`
ulimit -s
++ ulimit -s
+ ulimit -s 8192
     mkdir ../darwin_objdir
+ mkdir ../darwin_objdir
     cd ../darwin_objdir
+ cd ../darwin_objdir
     # build doesn't play well with GNU-make
     # unsupported option '-static-libgcc'
     export MAKE=/usr/bin/make
+ export MAKE=/usr/bin/make
+ MAKE=/usr/bin/make
     # Only need sysroot on 10.14+ because /usr/include has been removed
     OSX_MAJOR_VERSION=`sw_vers -productVersion | cut -d. -f1-2`
sw_vers -productVersion | cut -d. -f1-2
++ sw_vers -productVersion
++ cut -d. -f1-2
+ OSX_MAJOR_VERSION=10.15
     if dpkg --compare-versions "$OSX_MAJOR_VERSION" ge "10.14"; then
         # Get the unversioned SDK path
         SDK_PATH=`dirname $(xcrun --sdk macosx --show-sdk-path)`/MacOSX.sdk
         # This should really be --with-build-sysroot but that's not 
getting propagated through the entire build process.
         # https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79885
         export USE_SYSROOT="--with-sysroot=${SDK_PATH}"
     fi
+ dpkg --compare-versions 10.15 ge 10.14
dirname $(xcrun --sdk macosx --show-sdk-path)
xcrun --sdk macosx --show-sdk-path
+++ xcrun --sdk macosx --show-sdk-path
++ dirname 
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.1.sdk
+ 
SDK_PATH=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk
+ export 
USE_SYSROOT=--with-sysroot=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk
+ 
USE_SYSROOT=--with-sysroot=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk
     # check for incompatible clang ( 6.0 << bad-clang << 7.2)
     clangvers=`clang --version | cut -d\  -f4`
clang --version | cut -d\  -f4
++ clang --version
++ cut '-d ' -f4
+ clangvers=12.0.0
     $(`dpkg --compare-versions $clangvers '>>' 6.0`) && $(`dpkg 
--compare-versions $clangvers '<<' 7.2`) && clangcheck='y'
`dpkg --compare-versions $clangvers '>>' 6.0`
dpkg --compare-versions $clangvers '>>' 6.0
+++ dpkg --compare-versions 12.0.0 '>>' 6.0
`dpkg --compare-versions $clangvers '<<' 7.2`
dpkg --compare-versions $clangvers '<<' 7.2
+++ dpkg --compare-versions 12.0.0 '<<' 7.2
     if [ "$clangcheck" = "y" ]; then
         ../gcc-10.3.0/configure --prefix=/opt/sw 
--prefix=/opt/sw/lib/gcc10 \
     --mandir=/opt/sw/share/man \
     --infodir=/opt/sw/lib/gcc10/info \
     --enable-languages=c,c++,fortran,lto,objc,obj-c++ \
     --with-gmp=/opt/sw \
     --with-libiconv-prefix=/opt/sw \
     --with-isl=/opt/sw \
     --with-mpc=/opt/sw \
     --with-system-zlib \
     --program-suffix=-fsf-10 \
     --disable-multilib \
     --enable-stage1-checking \
     ${USE_SYSROOT} \
     --with-pkgversion="Fink gcc10 10.3.0-3" \
  --with-bugurl="https://github.com/fink/fink-distributions/issues" 
--with-build-config=bootstrap-debug
     else
         ../gcc-10.3.0/configure --prefix=/opt/sw 
--prefix=/opt/sw/lib/gcc10 \
     --mandir=/opt/sw/share/man \
     --infodir=/opt/sw/lib/gcc10/info \
     --enable-languages=c,c++,fortran,lto,objc,obj-c++ \
     --with-gmp=/opt/sw \
     --with-libiconv-prefix=/opt/sw \
     --with-isl=/opt/sw \
     --with-mpc=/opt/sw \
     --with-system-zlib \
     --program-suffix=-fsf-10 \
     --disable-multilib \
     --enable-stage1-checking \
     ${USE_SYSROOT} \
     --with-pkgversion="Fink gcc10 10.3.0-3" \
  --with-bugurl="https://github.com/fink/fink-distributions/issues"
     fi
+ '[' '' = y ']'
+ ../gcc-10.3.0/configure --prefix=/opt/sw --prefix=/opt/sw/lib/gcc10 
--mandir=/opt/sw/share/man --infodir=/opt/sw/lib/gcc10/info 
--enable-languages=c,c++,fortran,lto,objc,obj-c++ --with-gmp=/opt/sw 
--with-libiconv-prefix=/opt/sw --with-isl=/opt/sw --with-mpc=/opt/sw 
--with-system-zlib --program-suffix=-fsf-10 --disable-multilib 
--enable-stage1-checking 
--with-sysroot=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk 
'--with-pkgversion=Fink gcc10 10.3.0-3' 
--with-bugurl=https://github.com/fink/fink-distributions/issues
checking build system type... x86_64-apple-darwin19.6.0
checking host system type... x86_64-apple-darwin19.6.0
checking target system type... x86_64-apple-darwin19.6.0
checking for a BSD-compatible install... /opt/sw/bin/ginstall -c
checking whether ln works... yes
checking whether ln -s works... yes
checking for a sed that does not truncate output... /opt/sw/bin/sed
checking for gawk... gawk
checking for libatomic support... yes
checking for libitm support... yes
checking for libsanitizer support... yes
checking for libvtv support... no
checking for libhsail-rt support... no
checking for libphobos support... no
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking whether g++ accepts -static-libstdc++ -static-libgcc... no
checking for gnatbind... no
checking for gnatmake... no
checking whether compiler driver understands Ada... no
checking how to compare bootstrapped objects... cmp --ignore-initial=16 
$$f1 $$f2
checking for objdir... .libs
checking for the correct version of gmp.h... yes
checking for the correct version of mpfr.h... yes
checking for the correct version of mpc.h... yes
checking for the correct version of the gmp/mpfr/mpc libraries... yes
checking for isl 0.15 or later... no
required isl version is 0.15 or later
configure: error: Unable to find a usable isl.  See config.log for details.
### execution of /tmp/fink.m6Khr failed, exit code 1
### execution of /tmp/fink.AaMQa failed, exit code 1
Removing runtime build-lock...
Removing build-lock package...
/opt/sw/bin/dpkg-lockwait -r fink-buildlock-gcc10-10.3.0-3
(Reading database ... 344714 files and directories currently installed.)
Removing fink-buildlock-gcc10-10.3.0-3 ...
Failed: phase compiling: gcc10-10.3.0-3 failed

Before reporting any errors, please run "fink selfupdate" and try again.

If you continue to have issues, please check to see if the FAQ on Fink's
website solves the problem.  If not, ask on one (not both, please) of
these mailing lists:

     The Fink Users List <[email protected]>
     The Fink Beginners List <[email protected]>.

Please try to include the complete error message in your report. This
generally consists of a compiler line starting with e.g. "gcc" or "g++"
followed by the actual error output from the compiler.

Also include the following system information:
Package manager version: 0.45.4
Distribution version: selfupdate-git Wed Jan 12 09:16:27 2022, 10.15, x86_64
Trees: local/main stable/main
Xcode.app: 12.4
Xcode command-line tools: 12.4.0.0.1.1610135815
Max. Fink build jobs:  1


Who takes care for the package   isl?

Thanks in advance, Peter

_______________________________________________
Fink-users mailing list
[email protected]
List archive:
https://sourceforge.net/p/fink/mailman/fink-users/
Subscription management:
https://lists.sourceforge.net/lists/listinfo/fink-users