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

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
-- 
"Of the 22 schools in the top 20..."
   --Unknown



_______________________________________________
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