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

I don't find any    config.log   file.


/opt/sw/src/fink.build/gcc10-10.3.0-3/gcc-10.3.0 13:26> grep -r isl * | 
grep 0.15
ChangeLog:    * config/isl.m4: Detect isl-0.15.
INSTALL/prerequisites.html:<dt>isl Library version 0.15 or later.</dt>
config/isl.m4:    AC_MSG_CHECKING([for isl 0.15 or later])
config/isl.m4:      AC_MSG_RESULT([required isl version is 0.15 or later])
configure:    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl 
0.15 or later" >&5
configure:$as_echo_n "checking for isl 0.15 or later... " >&6; }
configure:      { $as_echo "$as_me:${as_lineno-$LINENO}: result: 
required isl version is 0.15 or later" >&5
configure:$as_echo "required isl version is 0.15 or later" >&6; }
gcc/ChangeLog-2015:    (optimize_isl): Call the new function 
get_schedule_map_st for isl-0.15
gcc/ChangeLog-2015:    * configure.ac: Add check for new options in 
isl-0.15.
gcc/ChangeLog-2016:    is deprecated in isl 0.15.  Instead, use 
isl_union_access_* interface.
gcc/doc/gccinstall.info:isl Library version 0.15 or later.
gcc/doc/install.texi:@item isl Library version 0.15 or later.
gcc/fortran/ChangeLog-2007:2007-10-15  Jerry DeLisle <[email protected]>
gcc/fortran/ChangeLog-2016:2016-10-15  Jerry DeLisle <[email protected]>
gcc/testsuite/ChangeLog-1993-2007:2007-10-15  Jerry DeLisle 
<[email protected]>
gcc/testsuite/ChangeLog-2015:    both isl-0.12 and isl-0.15.
gcc/testsuite/ChangeLog-2016:2016-10-15  Jerry DeLisle 
<[email protected]>
gcc/testsuite/ChangeLog-2016:    isl-0.15.
libgfortran/ChangeLog-2007:2007-10-15  Jerry DeLisle <[email protected]>

Where I should look for?
Best regards,     Peter



On 12/01/2022 12:14, Hanspeter Niederstrasser wrote:
> On 1/12/22 3:58 AM, kostka wrote:
>> 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
> ...
>>      # 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 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.
>
>> 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
>
> isl22 v0.22.1 that you have installed satisfies this requirement.
>
> Can you look for the file 
> /opt/src/fink.build/gcc10-10.3.0-3/gcc-10.3.0/config.log? That should 
> hopefully tell us what exactly went wrong (the exact location of 
> config.log on your system might be slightly different). Look for the 
> part where it tests for isl.
>
> Hanspeter

_______________________________________________
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