| Summary: | dev-ml/merlin-4.1-r2 - Error: Library menhirLib not found. | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
dev-ml:merlin-4.1-r2:20210718-161904.log emerge-history.txt environment etc.portage.tar.bz2 temp.tar.bz2 |
||
Created attachment 724822 [details]
emerge-info.txt
Created attachment 724825 [details]
dev-ml:merlin-4.1-r2:20210718-161904.log
Created attachment 724828 [details]
emerge-history.txt
Created attachment 724831 [details]
environment
Created attachment 724834 [details]
etc.portage.tar.bz2
Created attachment 724837 [details]
temp.tar.bz2
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(+) |
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"