too long lines were shrinked: (ocamlfind ocamldep -slash -I lib/why3 -I src/trywhy3 src/trywhy3/worker_proto.ml; \ echo 'src/trywhy3/worker_proto.cmx : src/trywhy3/worker_proto.cmi'; \ echo 'src/trywhy3/worker_proto.cmi : src/trywhy3/worker_proto.cmo') > "src/trywhy3/worker_proto.dep" || (RV=$?; rm -f "src/trywhy3/worker_proto.dep"; exit ${RV}) mkdir lib/plugins ocamlfind ocamlc -c -w A-4-9-41-44-45-50-52@5@8@48 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I plugins/microc -I plugins/cfg -I plugins/ada_terms -I plugins/gnat_json -I src/util -I s File "_none_", line 1: Error: Cannot load ppx_sexp_conv: this object file uses unsafe features make: *** [Makefile:2116: src/util/mysexplib.cmo] Error 2 * ERROR: sci-mathematics/why3-for-spark-2021-r1::gentoo failed (compile phase): ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-20230901-184510 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): /usr/lib/llvm/16 16.0.6 Python 3.11.5 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-1.72.0 * The following VMs are available for generation-2: *) Eclipse Temurin JRE 17.0.7_p7 [openjdk-jre-bin-17] Available Java Virtual Machines: [1] openjdk-jre-bin-17 system-vm php cli (if any): go version go1.21.0 linux/amd64 HEAD of ::gentoo commit ada06cce5738ee2a5bcdee67ab588c463d086615 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Sep 2 09:31:51 2023 +0000 2023-09-02 09:31:51 UTC emerge -qpvO sci-mathematics/why3-for-spark [ebuild N ] sci-mathematics/why3-for-spark-2021-r1 USE="emacs sexp zarith zip -coq -doc -gtk -html -hypothesis-selection -ocamlopt"
Created attachment 869219 [details] emerge-info.txt
Created attachment 869220 [details] emerge-history.txt
Created attachment 869221 [details] environment
Created attachment 869222 [details] etc.portage.tar.xz
Created attachment 869223 [details] logs.tar.xz
Created attachment 869224 [details] sci-mathematics:why3-for-spark-2021-r1:20230902-104344.log
Created attachment 869225 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d58c273f2681691ec5eaf8101e35730a2b9bc2e8 commit d58c273f2681691ec5eaf8101e35730a2b9bc2e8 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2023-12-29 22:42:59 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2023-12-29 22:43:55 +0000 sci-mathematics/why3-for-spark: require ocamlopt Closes: https://bugs.gentoo.org/913497 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-)
