Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 777261 - dev-ml/merlin-4.1 - Error: Program menhir not found in the tree or in PATH
Summary: dev-ml/merlin-4.1 - Error: Program menhir not found in the tree or in PATH
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-03-19 13:19 UTC by Toralf Förster
Modified: 2021-05-10 17:09 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,15.78 KB, text/plain)
2021-03-19 13:19 UTC, Toralf Förster
Details
dev-ml:merlin-4.1:20210319-131624.log (dev-ml:merlin-4.1:20210319-131624.log,26.67 KB, text/plain)
2021-03-19 13:19 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,208.38 KB, text/plain)
2021-03-19 13:19 UTC, Toralf Förster
Details
environment (environment,27.93 KB, text/plain)
2021-03-19 13:19 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,23.51 KB, application/x-bzip)
2021-03-19 13:19 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,10.61 KB, application/x-bzip)
2021-03-19 13:19 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-03-19 13:19:17 UTC
Done: 1130/1263 (jobs: 1)
                         
Error: Program menhir not found in the tree or in PATH
 (context: default)
Hint: opam install menhir
Done: 1130/1263 (jobs: 1)

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_no-multilib_hardened-20210315-160555

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-7.3.1
 [2] x86_64-pc-linux-gnu-10.2.0 *
clang version 11.1.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/11/bin
/usr/lib/llvm/11
11.1.0
Python 3.8.8
Available Ruby profiles:
  (none found)
Available Rust versions:
  [1]   rust-1.50.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.282_p08 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.10.4

  timestamp(s) of HEAD at this tinderbox image:
/var/db/repos/gentoo	Fri Mar 19 12:51:09 UTC 2021

emerge -qpvO dev-ml/merlin
[ebuild  N    ] dev-ml/merlin-4.1  USE="ocamlopt -emacs"
Comment 1 Toralf Förster gentoo-dev 2021-03-19 13:19:19 UTC
Created attachment 692424 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-03-19 13:19:20 UTC
Created attachment 692427 [details]
dev-ml:merlin-4.1:20210319-131624.log
Comment 3 Toralf Förster gentoo-dev 2021-03-19 13:19:21 UTC
Created attachment 692430 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2021-03-19 13:19:23 UTC
Created attachment 692433 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2021-03-19 13:19:24 UTC
Created attachment 692436 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-03-19 13:19:25 UTC
Created attachment 692439 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2021-05-10 17:09:20 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1d9999989b55433a81bdb35777d4c4f617e3e301

commit 1d9999989b55433a81bdb35777d4c4f617e3e301
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2021-05-10 17:08:40 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2021-05-10 17:09:09 +0000

    dev-ml/merlin: add dependency
    
    Closes: https://bugs.gentoo.org/777261
    Package-Manager: Portage-3.0.18, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/merlin/merlin-4.1-r1.ebuild | 1 +
 1 file changed, 1 insertion(+)