Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 832378 - dev-ml/core_kernel-0.14.2 - Error: File unavailable: /usr/lib64/ocaml/jst-config/rt-flags
Summary: dev-ml/core_kernel-0.14.2 - Error: File unavailable: /usr/lib64/ocaml/jst-con...
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-01-30 15:14 UTC by Toralf Förster
Modified: 2022-01-31 01:14 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,17.05 KB, text/plain)
2022-01-30 15:14 UTC, Toralf Förster
Details
dev-ml:core_kernel-0.14.2:20220130-145953.log (dev-ml:core_kernel-0.14.2:20220130-145953.log,2.02 KB, text/plain)
2022-01-30 15:14 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,274.14 KB, text/plain)
2022-01-30 15:14 UTC, Toralf Förster
Details
environment (environment,23.55 KB, text/plain)
2022-01-30 15:14 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,22.76 KB, application/x-bzip)
2022-01-30 15:14 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,8.17 KB, application/x-bzip)
2022-01-30 15:14 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-01-30 15:14:08 UTC
 * Building ...
File "src/dune", line 1, characters 0-119:
1 | (rule (targets config.h rt-flags) (deps)
2 |  (action (bash "cp %{lib:jst-config:config.h} %{lib:jst-config:rt-flags} .")))
Error: File unavailable: /usr/lib64/ocaml/jst-config/rt-flags
 [ !! ]                  
 * ERROR: dev-ml/core_kernel-0.14.2::gentoo failed (compile phase):

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_systemd-j4_debug-20220127-130013

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.2.1 *
clang/llvm (if any):
clang version 13.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/13/bin
/usr/lib/llvm/13
13.0.0
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 b433560a2a727aa8c112f61be6cf86c91c88c864
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sun Jan 30 13:51:54 2022 +0000

    2022-01-30 13:51:50 UTC

emerge -qpvO dev-ml/core_kernel
[ebuild   R   ] dev-ml/core_kernel-0.14.2  USE="ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2022-01-30 15:14:09 UTC
Created attachment 763983 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-01-30 15:14:10 UTC
Created attachment 763984 [details]
dev-ml:core_kernel-0.14.2:20220130-145953.log
Comment 3 Toralf Förster gentoo-dev 2022-01-30 15:14:12 UTC
Created attachment 763985 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-01-30 15:14:13 UTC
Created attachment 763986 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-01-30 15:14:14 UTC
Created attachment 763987 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-01-30 15:14:15 UTC
Created attachment 763988 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2022-01-31 01:14:26 UTC
The bug has been closed via the following commit(s):

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

commit 5028e50118e710e7fdaf2dfe60949656066e1801
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2022-01-31 01:09:38 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2022-01-31 01:14:23 +0000

    dev-ml/core_kernel: <dev-ml/jst-config-0.15.0; add ppx_optcom dep
    
    Closes: https://bugs.gentoo.org/832378
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 ...core_kernel-0.14.2.ebuild => core_kernel-0.14.2-r1.ebuild} | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)