Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 833615 - dev-ml/opam-format-2.1.2 - is not a compiled interface for this version of OCaml.
Summary: dev-ml/opam-format-2.1.2 - is not a compiled interface for this version of OC...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-02-18 15:47 UTC by Toralf Förster
Modified: 2022-02-20 20:53 UTC (History)
1 user (show)

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


Attachments
emerge-info.txt (emerge-info.txt,17.07 KB, text/plain)
2022-02-18 15:47 UTC, Toralf Förster
Details
dev-ml:opam-format-2.1.2:20220218-154228.log (dev-ml:opam-format-2.1.2:20220218-154228.log,6.46 KB, text/plain)
2022-02-18 15:47 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,147.05 KB, text/plain)
2022-02-18 15:47 UTC, Toralf Förster
Details
environment (environment,24.12 KB, text/plain)
2022-02-18 15:47 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,14.42 KB, application/x-bzip)
2022-02-18 15:47 UTC, Toralf Förster
Details
logs.tar.bz2 (logs.tar.bz2,5.65 KB, application/x-bzip)
2022-02-18 15:47 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,9.32 KB, application/x-bzip)
2022-02-18 15:47 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-18 15:47:34 UTC
>>> Compiling source in /var/tmp/portage/dev-ml/opam-format-2.1.2/work/opam-2.1.2 ...
 * Building ...
File "src/solver/opamBuiltinMccs.ml", line 1:
Error: /usr/lib64/ocaml/mccs/mccs.cmi
       is not a compiled interface for this version of OCaml.
It seems to be for a newer version of OCaml.
 [ !! ]                  

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_gnome-j4-20220216-224552

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-9.3.1
 [2] 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 following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11]
*)	Eclipse Temurin JDK 8.322_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm
  [2]   openjdk-bin-11 

The Glorious Glasgow Haskell Compilation System, version 8.10.4
php cli:
  [1]   php7.4
  [2]   php8.0
  [3]   php8.1 *

  HEAD of ::gentoo
commit 75a4316049257ca3ff5024f79196230155d19bb1
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Fri Feb 18 14:22:10 2022 +0000

    2022-02-18 14:22:08 UTC

emerge -qpvO dev-ml/opam-format
[ebuild   R   ] dev-ml/opam-format-2.1.2  USE="ocamlopt -test"
Comment 1 Toralf Förster gentoo-dev 2022-02-18 15:47:35 UTC
Created attachment 765391 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-02-18 15:47:36 UTC
Created attachment 765392 [details]
dev-ml:opam-format-2.1.2:20220218-154228.log
Comment 3 Toralf Förster gentoo-dev 2022-02-18 15:47:38 UTC
Created attachment 765393 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-02-18 15:47:39 UTC
Created attachment 765394 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-02-18 15:47:40 UTC
Created attachment 765395 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-02-18 15:47:41 UTC
Created attachment 765396 [details]
logs.tar.bz2
Comment 7 Toralf Förster gentoo-dev 2022-02-18 15:47:42 UTC
Created attachment 765397 [details]
temp.tar.bz2
Comment 8 Larry the Git Cow gentoo-dev 2022-02-20 20:53:24 UTC
The bug has been closed via the following commit(s):

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

commit 2c0448a2eaaf845e8a35ee2a3e2782525a8bcc0e
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-02-20 20:53:02 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-02-20 20:53:02 +0000

    dev-ml/opam-format: add dev-ml/mccs to rdep
    
    Closes: https://bugs.gentoo.org/833615
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/opam-format/opam-format-2.1.2-r1.ebuild | 53 ++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)