Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 833193 - dev-ml/gen-1.0 - is not a compiled interface for this version of OCaml.
Summary: dev-ml/gen-1.0 - is not a compiled interface for this version of OCaml.
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-02-12 15:50 UTC by Toralf Förster
Modified: 2022-02-12 22:15 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,16.04 KB, text/plain)
2022-02-12 15:50 UTC, Toralf Förster
Details
dev-ml:gen-1.0:20220212-151636.log (dev-ml:gen-1.0:20220212-151636.log,3.41 KB, text/plain)
2022-02-12 15:50 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,75.68 KB, text/plain)
2022-02-12 15:50 UTC, Toralf Förster
Details
environment (environment,21.35 KB, text/plain)
2022-02-12 15:50 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,15.40 KB, application/x-bzip)
2022-02-12 15:50 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,7.82 KB, application/x-bzip)
2022-02-12 15:50 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-02-12 15:50:36 UTC
      ocamlc src/.gen.objs/byte/genShims_.{cmi,cmo,cmt}
    ocamlopt src/.gen.objs/native/genShims_.{cmx,o}
File "src/genLabels_intf.ml", line 1:
Error: /usr/lib64/ocaml/seq/seq.cmi
       is not a compiled interface for this version of OCaml.
It seems to be for a newer version of OCaml.
File "src/genMList.mli", line 1:

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_systemd-j4-20220211-190006

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.2.1 *
clang/llvm (if any):
/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) *
Available Rust versions:
  [1]   rust-1.58.1 *
The Glorious Glasgow Haskell Compilation System, version 8.10.4
php cli:

  HEAD of ::gentoo
commit 8fac3bfcbc63259c95b61bf3e2fe5af642419a47
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sat Feb 12 14:22:11 2022 +0000

    2022-02-12 14:22:09 UTC

emerge -qpvO dev-ml/gen
[ebuild   R   ] dev-ml/gen-1.0  USE="ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2022-02-12 15:50:41 UTC
Created attachment 764928 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-02-12 15:50:42 UTC
Created attachment 764929 [details]
dev-ml:gen-1.0:20220212-151636.log
Comment 3 Toralf Förster gentoo-dev 2022-02-12 15:50:43 UTC
Created attachment 764930 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-02-12 15:50:51 UTC
Created attachment 764931 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-02-12 15:50:52 UTC
Created attachment 764932 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-02-12 15:50:58 UTC
Created attachment 764933 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2022-02-12 22:15:12 UTC
The bug has been closed via the following commit(s):

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

commit e17cfa516664ad3f607a0ff0bea45da5236746df
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-02-12 22:14:47 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-02-12 22:14:47 +0000

    dev-ml/gen: fix deps
    
    Closes: https://bugs.gentoo.org/833193
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/gen/gen-1.0.ebuild | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)