Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 802765 - dev-ml/merlin-4.1-r2 - Error: Library menhirLib not found.
Summary: dev-ml/merlin-4.1-r2 - Error: Library menhirLib not found.
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: 2021-07-18 16:20 UTC by Toralf Förster
Modified: 2021-07-18 17:39 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,16.47 KB, text/plain)
2021-07-18 16:20 UTC, Toralf Förster
Details
dev-ml:merlin-4.1-r2:20210718-161904.log (dev-ml:merlin-4.1-r2:20210718-161904.log,3.11 KB, text/plain)
2021-07-18 16:20 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,384.21 KB, text/plain)
2021-07-18 16:20 UTC, Toralf Förster
Details
environment (environment,28.32 KB, text/plain)
2021-07-18 16:20 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,37.86 KB, application/x-bzip)
2021-07-18 16:20 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,9.87 KB, application/x-bzip)
2021-07-18 16:20 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 2021-07-18 16:20:50 UTC
48 |    (copy %{lib:menhirLib:menhirLib.mli} menhirLib.mli))))
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Library "menhirLib" not found.
Hint: try:
  dune external-lib-deps --missing @install
File "src/ocaml/preprocess/explain/dune", line 3, characters 17-26:
3 |  (libraries unix menhirSdk))

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_hardened-j3-20210712-213304

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.1.0 *
/usr/lib/llvm/12
12.0.1
Python 3.9.6
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby30 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.53.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.292_p10 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.10.4
  HEAD of ::gentoo
commit 908f8a30781f3ac846f6dd552e6ec517e0dcad94
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sun Jul 18 15:51:48 2021 +0000

    2021-07-18 15:51:47 UTC

emerge -qpvO dev-ml/merlin
[ebuild  N    ] dev-ml/merlin-4.1-r2  USE="ocamlopt -emacs"
Comment 1 Toralf Förster gentoo-dev 2021-07-18 16:20:51 UTC
Created attachment 724822 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-07-18 16:20:52 UTC
Created attachment 724825 [details]
dev-ml:merlin-4.1-r2:20210718-161904.log
Comment 3 Toralf Förster gentoo-dev 2021-07-18 16:20:54 UTC
Created attachment 724828 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2021-07-18 16:20:55 UTC
Created attachment 724831 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2021-07-18 16:20:57 UTC
Created attachment 724834 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-07-18 16:20:58 UTC
Created attachment 724837 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2021-07-18 17:39:39 UTC
The bug has been closed via the following commit(s):

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

commit 092f46163dad03ee59ed6bf9859c6d98ade0dfe4
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2021-07-18 17:39:19 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2021-07-18 17:39:19 +0000

    dev-ml/menhir: install menhirLib and menhirSdk too
    
    Closes: https://bugs.gentoo.org/802765
    Package-Manager: Portage-3.0.20, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/menhir/{menhir-20210419.ebuild => menhir-20210419-r1.ebuild} | 6 ++++++
 1 file changed, 6 insertions(+)