too long lines were shrinked: 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 "src/util/mysexplib.ml", line 1: Error: /usr/lib64/ocaml/sexplib/sexplib.cmi is not a compiled interface for this version of OCaml. It seems to be for an older version of OCaml. make: *** [Makefile:2114: src/util/mysexplib.cmo] Error 2 ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib_hardened-j4-20220308-120032 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-11.2.1 * clang/llvm (if any): clang version 13.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/13/bin /usr/lib/llvm/13 13.0.1 Python 3.9.10 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby30 (with Rubygems) * The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: HEAD of ::gentoo commit 45e5e21cce86fe27855e28e41436c064067ee2c3 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Thu Mar 10 04:22:00 2022 +0000 2022-03-10 04:21:59 UTC emerge -qpvO sci-mathematics/why3-for-spark [ebuild N ] sci-mathematics/why3-for-spark-2021 USE="ocamlopt -coq -doc -emacs -gtk -html -hypothesis-selection -zarith -zip"
Created attachment 766691 [details] emerge-info.txt
Created attachment 766692 [details] emerge-history.txt
Created attachment 766693 [details] environment
Created attachment 766694 [details] etc.portage.tar.bz2
Created attachment 766695 [details] logs.tar.bz2
Created attachment 766696 [details] sci-mathematics:why3-for-spark-2021:20220310-054824.log
Created attachment 766697 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed2328c4b86578b7b8f53c2c4a372718635f26f6 commit ed2328c4b86578b7b8f53c2c4a372718635f26f6 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2022-03-11 21:00:38 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2022-03-11 21:01:12 +0000 sci-mathematics/why3-for-spark: add USE to select sexp Closes: https://bugs.gentoo.org/834881 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/why3-for-spark/metadata.xml | 3 +- ...k-2021.ebuild => why3-for-spark-2021-r1.ebuild} | 65 +++++++++++++--------- 2 files changed, 40 insertions(+), 28 deletions(-)
