Bug 923844 – dev-ml/coq-menhirlib-20220210 - Error: The variable gt_trans was not found in the current environment.

• Product: Gentoo Linux
• Status: CONFIRMED ---

[Description Toralf Förster 2024-02-05 18:49:37 UTC]

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 <[e-mail]>
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"

[Comment 1 Toralf Förster 2024-02-05 18:49:38 UTC]

Created attachment 884296 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2024-02-05 18:49:39 UTC]

Created attachment 884297 [details]
dev-ml:coq-menhirlib-20220210:20240205-135745.log

[Comment 3 Toralf Förster 2024-02-05 18:49:41 UTC]

Created attachment 884298 [details]
emerge-history.txt.xz

[Comment 4 Toralf Förster 2024-02-05 18:49:42 UTC]

Created attachment 884299 [details]
environment

[Comment 5 Toralf Förster 2024-02-05 18:49:43 UTC]

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

[Comment 6 Toralf Förster 2024-02-05 18:49:44 UTC]

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

[Comment 7 Toralf Förster 2024-02-05 18:49:45 UTC]

Created attachment 884302 [details]
qlist-info.txt.xz

[Comment 8 Toralf Förster 2024-02-05 18:49:46 UTC]

Created attachment 884303 [details]
temp.tar.xz

[Comment 9 Larry the Git Cow 2024-06-21 12:32:12 UTC]

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ć <[e-mail]>
AuthorDate: 2024-06-21 12:30:50 +0000
Commit:     Maciej Barć <[e-mail]>
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ć <[e-mail]>

 dev-ml/menhir/Manifest               |  1 -
 dev-ml/menhir/menhir-20220210.ebuild | 21 ---------------------
 2 files changed, 22 deletions(-)

[Comment 10 Maciej Barć 2024-06-21 12:33:35 UTC]

wrong pkg, sorry