make --no-print-directory -f CoqMakefile all COQDEP VFILES COQC Version.v COQC Alphabet.v COQNATIVE Version.vo File "./Alphabet.v", line 76, characters 7-15: Error: The variable gt_trans was not found in the current environment. make[3]: *** [CoqMakefile:848: Alphabet.vo] Error 1 ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib_systemd_merged_usr-20240123-130514 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-14 * clang/llvm (if any): clang version 17.0.6 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/17/bin Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg /usr/lib/llvm/17 17.0.6 Python 3.11.7 Available Ruby profiles: [1] ruby31 (with Rubygems) [2] ruby32 (with Rubygems) [3] ruby33 (with Rubygems) * Available Rust versions: [1] rust-bin-1.74.1 [2] rust-1.74.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.20.1_p1 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.8.1_p1 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.1_p12 [openjdk-bin-21] 4) Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): go version go1.21.6 linux/amd64 HEAD of ::gentoo commit 8f6fb384a473b0d65df18bd6c72bf035a3994208 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Feb 5 12:48:32 2024 +0000 2024-02-05 12:48:32 UTC emerge -qpvO dev-ml/coq-menhirlib [ebuild R ] dev-ml/coq-menhirlib-20220210 USE="ocamlopt"
Created attachment 884296 [details] emerge-info.txt
Created attachment 884297 [details] dev-ml:coq-menhirlib-20220210:20240205-135745.log
Created attachment 884298 [details] emerge-history.txt.xz
Created attachment 884299 [details] environment
Created attachment 884300 [details] etc.clang.tar.xz
Created attachment 884301 [details] etc.portage.tar.xz
Created attachment 884302 [details] qlist-info.txt.xz
Created attachment 884303 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c83e1bc690fc61e507fc72d6d55084e462f2da0 commit 7c83e1bc690fc61e507fc72d6d55084e462f2da0 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-06-21 12:30:50 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-06-21 12:31:01 +0000 dev-ml/menhir: drop old 20220210 Closes: https://bugs.gentoo.org/923844 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-ml/menhir/Manifest | 1 - dev-ml/menhir/menhir-20220210.ebuild | 21 --------------------- 2 files changed, 22 deletions(-)
wrong pkg, sorry
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0fda007f3702996f499fd6fc554acddb2d1f7dc5 commit 0fda007f3702996f499fd6fc554acddb2d1f7dc5 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-09-13 15:20:43 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-09-13 20:56:59 +0000 dev-ml/coq-menhirlib: drop old 20220210 Closes: https://bugs.gentoo.org/923844 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-ml/coq-menhirlib/Manifest | 1 - dev-ml/coq-menhirlib/coq-menhirlib-20220210.ebuild | 34 ---------------------- 2 files changed, 35 deletions(-)
