Bug 894746

Summary:	sci-mathematics/gappalib-coq-1.5.2 - configure: error: Failed to compile a native OCaml library
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt.bz2 environment etc.clang.tar.bz2 etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:gappalib-coq-1.5.2:20230216-075905.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2023-02-16 08:28:06 UTC

checking for coqc >= 8.8... /usr/bin/coqc
checking for coqdep... /usr/bin/coqdep
checking for ocamlfind... /usr/bin/ocamlfind
checking for Flocq >= 3.0... yes
checking for native development files... ocamlfind: Not supported in your configuration: ocamlopt
no
configure: error:  *** Failed to compile a native OCaml library 

!!! Please attach the following file when seeking support:

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_hardened-j4-20230211-090115

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10
 [2] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
clang version 15.0.7
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.7
Python 3.10.10
Available Rust versions:
  [1]   rust-bin-1.67.1
  [2]   rust-1.67.1 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.18_p10 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):

  HEAD of ::gentoo
commit 874396b2853862adb883bcd5951dcd3002901ec4
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Thu Feb 16 06:46:51 2023 +0000

    2023-02-16 06:46:51 UTC

emerge -qpvO sci-mathematics/gappalib-coq
[ebuild  N    ] sci-mathematics/gappalib-coq-1.5.2

Comment 1 Toralf Förster gentoo-dev

2023-02-16 08:28:07 UTC

Created attachment 851754 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2023-02-16 08:28:09 UTC

Created attachment 851756 [details]
emerge-history.txt.bz2

Comment 3 Toralf Förster gentoo-dev

2023-02-16 08:28:11 UTC

Created attachment 851758 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2023-02-16 08:28:12 UTC

Created attachment 851760 [details]
etc.clang.tar.bz2

Comment 5 Toralf Förster gentoo-dev

2023-02-16 08:28:13 UTC

Created attachment 851762 [details]
etc.portage.tar.bz2

Comment 6 Toralf Förster gentoo-dev

2023-02-16 08:28:14 UTC

Created attachment 851764 [details]
logs.tar.bz2

Comment 7 Toralf Förster gentoo-dev

2023-02-16 08:28:15 UTC

Created attachment 851766 [details]
sci-mathematics:gappalib-coq-1.5.2:20230216-075905.log

Comment 8 Toralf Förster gentoo-dev

2023-02-16 08:28:16 UTC

Created attachment 851768 [details]
temp.tar.bz2

Comment 9 Larry the Git Cow gentoo-dev

2023-02-16 11:59:23 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a067191668da35890eb2cd748e83849fbaf0c905

commit a067191668da35890eb2cd748e83849fbaf0c905
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2023-02-16 11:35:07 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2023-02-16 11:49:38 +0000

    sci-mathematics/gappalib-coq: fix deps; add ocamlopt
    
    Closes: https://bugs.gentoo.org/894746
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 .../{gappalib-coq-1.5.2.ebuild => gappalib-coq-1.5.2-r1.ebuild}   | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)