Bug 946556 – sci-mathematics/why3-1.7.2 - [texlive] [meson] Error: Cannot find a physical path bound to logical path Flocq.Version.

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2024-12-16 19:45:52 UTC]

checking for js_of_ocaml... no
checking for coqc... coqc
checking Coq version... 8.20.0
configure: WARNING: unrecognized Coq version, assuming Coq 8.18
checking for coqdep... coqdep
checking for Flocq... File "./conftest.v", line 1, characters 15-28:
Error: Cannot find a physical path bound to logical path Flocq.Version.

no

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_desktop_gnome_systemd-20241215-184001

  UNMASKED:
    Please re-assign to ztrawhcse@ if you cannot reproduced it with regular meson.
  <dev-build/meson-9999
  >=app-text/dvisvgm-2024
  >=app-text/ps2pkm-1.8_p20240311
  >=app-text/texlive-2024
  >=app-text/texlive-core-2024
  >=dev-libs/kpathsea-6.4.0
  >=dev-libs/ptexenc-1.4.6
  dev-python/latexrestricted
  >=dev-tex/biber-2.20
  >=dev-tex/biblatex-3.20
  >=dev-tex/bibtexu-3.72_p20240311
  >=dev-tex/glossaries-4.55
  dev-tex/latex2pydata
  >=dev-tex/latexmk-4.85
  >=dev-tex/minted-3.4.0
  >=dev-tex/tex4ht-20240311
  >=dev-texlive/texlive-basic-2024
  >=dev-texlive/texlive-bibtexextra-2024
  >=dev-texlive/texlive-binextra-2024
  >=dev-texlive/texlive-context-2024
  >=dev-texlive/texlive-fontsextra-2024
  >=dev-texlive/texlive-fontsrecommended-2024
  >=dev-texlive/texlive-fontutils-2024
  >=dev-texlive/texlive-formatsextra-2024
  >=dev-texlive/texlive-games-2024
  >=dev-texlive/texlive-humanities-2024
  >=dev-texlive/texlive-langarabic-2024
  >=dev-texlive/texlive-langchinese-2024
  >=dev-texlive/texlive-langcjk-2024
  >=dev-texlive/texlive-langcyrillic-2024
  >=dev-texlive/texlive-langczechslovak-2024
  >=dev-texlive/texlive-langenglish-2024
  >=dev-texlive/texlive-langeuropean-2024
  >=dev-texlive/texlive-langfrench-2024
  >=dev-texlive/texlive-langgerman-2024
  >=dev-texlive/texlive-langgreek-2024
  >=dev-texlive/texlive-langitalian-2024
  >=dev-texlive/texlive-langjapanese-2024
  >=dev-texlive/texlive-langkorean-2024
  >=dev-texlive/texlive-langother-2024
  >=dev-texlive/texlive-langpolish-2024
  >=dev-texlive/texlive-langportuguese-2024
  >=dev-texlive/texlive-langspanish-2024
  >=dev-texlive/texlive-latex-2024
  >=dev-texlive/texlive-latexextra-2024
  >=dev-texlive/texlive-latexrecommended-2024
  >=dev-texlive/texlive-luatex-2024
  >=dev-texlive/texlive-mathscience-2024
  >=dev-texlive/texlive-metapost-2024
  >=dev-texlive/texlive-music-2024
  >=dev-texlive/texlive-pictures-2024
  >=dev-texlive/texlive-plaingeneric-2024
  >=dev-texlive/texlive-pstricks-2024
  >=dev-texlive/texlive-publishers-2024
  >=dev-texlive/texlive-xetex-2024

  The attached etc.portage.tar.xz has all details.
  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-14 *
clang version 19.1.5
llvm-config: 19.1.5
Python 3.12.8
go version go1.23.4 linux/amd64
Available Ruby profiles:
  [1]   ruby32 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.83.0 *

  HEAD of ::gentoo
commit 0a5d2b8a516ec29123d5c98accb69006dbef07da
Author: Repository mirror & CI <[e-mail]>
Date:   Mon Dec 16 18:33:26 2024 +0000

    2024-12-16 18:33:25 UTC

emerge -qpvO =sci-mathematics/why3-1.7.2
[ebuild  N    ] sci-mathematics/why3-1.7.2  USE="coq ocamlopt re stackify zarith zip -doc -emacs -gtk -sexp"

[Comment 1 Toralf Förster 2024-12-16 19:45:52 UTC]

Created attachment 914180 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2024-12-16 19:45:54 UTC]

Created attachment 914181 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2024-12-16 19:45:55 UTC]

Created attachment 914182 [details]
environment

[Comment 4 Toralf Förster 2024-12-16 19:45:55 UTC]

Created attachment 914183 [details]
etc.clang.tar.xz

[Comment 5 Toralf Förster 2024-12-16 19:45:56 UTC]

Created attachment 914184 [details]
etc.portage.tar.xz

[Comment 6 Toralf Förster 2024-12-16 19:45:57 UTC]

Created attachment 914185 [details]
logs.tar.xz

[Comment 7 Toralf Förster 2024-12-16 19:45:58 UTC]

Created attachment 914186 [details]
qlist-info.txt

[Comment 8 Toralf Förster 2024-12-16 19:46:00 UTC]

Created attachment 914187 [details]
sci-mathematics:why3-1.7.2:20241216-192703.log

[Comment 9 Toralf Förster 2024-12-16 19:46:01 UTC]

Created attachment 914188 [details]
temp.tar.xz