Bug 906225

Summary:	sci-mathematics/why3-1.6.0 - Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	François-Xavier Carton <fx.carton91>
Status:	CONFIRMED ---
Severity:	normal	CC:	ml, sci-mathematics
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt environment etc.clang.tar.bz2 etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:why3-1.6.0:20230512-205316.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2023-05-12 21:09:41 UTC

mkdir lib/plugins
Ocamlc   src/util/mysexplib.ml
Ocamlc   src/util/config.mli
Ocamlc   src/util/bigInt.mli
Ocamlc   src/util/mlmpfr_wrapper.mli
File "_none_", line 1:
Error: Cannot load ppx_sexp_conv: this object file uses unsafe features
File "_none_", line 1:
Error: Cannot load ppx_sexp_conv: this object file uses unsafe features

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_desktop_systemd-j4-20230511-114504

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

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

php cli (if any):
go version go1.20.3 linux/amd64

  HEAD of ::gentoo
commit 017f568d0e517a425bf5405d28c4eb71603f0939
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Fri May 12 19:31:58 2023 +0000

    2023-05-12 19:31:58 UTC

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

Comment 1 Toralf Förster gentoo-dev

2023-05-12 21:09:42 UTC

Created attachment 861589 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2023-05-12 21:09:43 UTC

Created attachment 861590 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2023-05-12 21:09:45 UTC

Created attachment 861591 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2023-05-12 21:09:45 UTC

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

Comment 5 Toralf Förster gentoo-dev

2023-05-12 21:09:46 UTC

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

Comment 6 Toralf Förster gentoo-dev

2023-05-12 21:09:47 UTC

Created attachment 861594 [details]
logs.tar.bz2

Comment 7 Toralf Förster gentoo-dev

2023-05-12 21:09:48 UTC

Created attachment 861595 [details]
sci-mathematics:why3-1.6.0:20230512-205316.log

Comment 8 Toralf Förster gentoo-dev

2023-05-12 21:09:49 UTC

Created attachment 861596 [details]
temp.tar.bz2