Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 749555 - dev-ml/cinaps-0.14.0 : Error: /usr/lib64/ocaml/re/re.cmi
Summary: dev-ml/cinaps-0.14.0 : Error: /usr/lib64/ocaml/re/re.cmi
Status: RESOLVED OBSOLETE
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: 625160
Blocks:
  Show dependency tree
 
Reported: 2020-10-16 14:32 UTC by Toralf Förster
Modified: 2022-01-19 20:36 UTC (History)
2 users (show)

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


Attachments
emerge-info.txt (emerge-info.txt,16.82 KB, text/plain)
2020-10-16 14:32 UTC, Toralf Förster
Details
dev-ml:cinaps-0.14.0:20201015-211105.log (dev-ml:cinaps-0.14.0:20201015-211105.log,2.82 KB, text/plain)
2020-10-16 14:32 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,235.62 KB, text/plain)
2020-10-16 14:32 UTC, Toralf Förster
Details
environment (environment,20.34 KB, text/plain)
2020-10-16 14:32 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,22.39 KB, application/x-bzip)
2020-10-16 14:32 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,7.41 KB, application/x-bzip)
2020-10-16 14:32 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 2020-10-16 14:32:46 UTC
                     
File "src/syntax.mli", line 1:
Error: /usr/lib64/ocaml/re/re.cmi
       is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.
Done: 55/78 (jobs: 1)

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_plasma_systemd-20201008-001900

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-7.3.1
 [2] x86_64-pc-linux-gnu-10.2.0 *
clang version 11.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/11/bin
/usr/lib/llvm/11
11.0.0
Available Python interpreters, in order of preference:
  [1]   python3.7
  [2]   python3.9 (fallback)
  [3]   python3.8 (fallback)
  [4]   python2.7 (fallback)
Available Ruby profiles:
  [1]   ruby25 (with Rubygems)
  [2]   ruby26 (with Rubygems)
  [3]   ruby27 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.47.0
  [2]   rust-1.47.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.265_p01 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.8.4

  timestamp(s) of HEAD at this tinderbox image:
/var/db/repos/gentoo	Thu Oct 15 09:05:22 PM UTC 2020

emerge -qpvO dev-ml/cinaps
[ebuild  N    ] dev-ml/cinaps-0.14.0  USE="ocamlopt -test"
Comment 1 Toralf Förster gentoo-dev 2020-10-16 14:32:47 UTC
Created attachment 665957 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2020-10-16 14:32:48 UTC
Created attachment 665960 [details]
dev-ml:cinaps-0.14.0:20201015-211105.log
Comment 3 Toralf Förster gentoo-dev 2020-10-16 14:32:50 UTC
Created attachment 665963 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2020-10-16 14:32:52 UTC
Created attachment 665966 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2020-10-16 14:32:53 UTC
Created attachment 665969 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2020-10-16 14:32:54 UTC
Created attachment 665972 [details]
temp.tbz2
Comment 7 Mark Wright gentoo-dev 2020-10-17 00:53:56 UTC
From:
emerge-history.txt

line
number
1228 2020-10-09T18:52:09 >>> dev-lang/ocaml-4.09.0

3627 2020-10-13T19:17:23 >>> dev-ml/re-1.9.0

3823 2020-10-14T07:25:53 >>> dev-lang/ocaml-4.11.1

There is no ocaml-updater.  I can not see any way that I can convince
portage to rebuild dev-ml/re before its reverse dependency
dev-ml/cinaps when dev-lang/ocaml is rebuilt to a new version of
ocaml.

I think fixing this bug requires either:

1) Fixing
https://bugs.gentoo.org/625160

or

2) Someone to write an ocaml-updater program to rebuild all the effected ocaml
packages when dev-lang/ocaml is upgraded, and for tinderboxes to run
the ocaml-updater program.
Comment 8 Tupone Alfredo gentoo-dev 2022-01-19 20:36:19 UTC
dependency changed and the emerge sequence is now invalid