Package: libtool Version: 2.4.6-15 Severity: normal In the generated libtool file with the CompCert 3.10 compiler, one gets:
wl="" With GNU MPFR, this yields an error for "make check". This should be: wl="-Wl," -- System Information: Debian Release: bookworm/sid APT prefers unstable-debug APT policy: (500, 'unstable-debug'), (500, 'stable-updates'), (500, 'stable-security'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 5.15.0-1-amd64 (SMP w/8 CPU threads) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=POSIX, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages libtool depends on: ii autotools-dev 20180224.1+nmu1 ii clang-10 [c-compiler] 1:10.0.1-8+b1 ii clang-11 [c-compiler] 1:11.1.0-4 ii clang-12 [c-compiler] 1:12.0.1-16 ii clang-13 [c-compiler] 1:13.0.0-9 ii clang-3.5 [c-compiler] 1:3.5.2-5 ii clang-3.6 [c-compiler] 1:3.6.2-4 ii clang-3.7 [c-compiler] 1:3.7.1-3+b2 ii clang-7 [c-compiler] 1:7.0.1-12 ii clang-8 [c-compiler] 1:8.0.1-10+b1 ii clang-9 [c-compiler] 1:9.0.1-20 ii cpp 4:11.2.0-2 ii file 1:5.41-2 ii gcc [c-compiler] 4:11.2.0-2 ii gcc-10 [c-compiler] 10.3.0-13 ii gcc-11 [c-compiler] 11.2.0-12 ii gcc-4.6 [c-compiler] 4.6.4-7 ii gcc-4.8 [c-compiler] 4.8.5-4 ii gcc-4.9 [c-compiler] 4.9.4-2 ii gcc-5 [c-compiler] 5.5.0-12 ii gcc-6 [c-compiler] 6.5.0-2 ii gcc-8 [c-compiler] 8.4.0-7 ii gcc-9 [c-compiler] 9.4.0-4 ii libc6-dev [libc-dev] 2.32-4 ii tcc [c-compiler] 0.9.27+git20200814.62c30a4a-1 Versions of packages libtool recommends: ii libltdl-dev 2.4.6-15 Versions of packages libtool suggests: ii autoconf 2.71-2+local1 ii automake [automaken] 1:1.16.5-1.1 pn gcj-jdk <none> ii gfortran 4:11.2.0-2 ii gfortran-11 [fortran95-compiler] 11.2.0-12 ii libtool-doc 2.4.6-15 -- no debconf information -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
