>>> Install twelf-1.7.1 into /var/tmp/portage/sci-mathematics/twelf-1.7.1/image/ category sci-mathematics /usr/bin/install: cannot stat 'doc/guide/twelf.info': No such file or directory !!! doinfo: doc/guide/twelf.info does not exist * ERROR: sci-mathematics/twelf-1.7.1::gentoo failed (install phase): * doinfo failed * ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 13.0-systemd_libressl_20170902-185407 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-6.4.0 * Available Python interpreters, in order of preference: [1] python3.4 [2] python3.6 (fallback) [3] python2.7 (fallback) [4] pypy (fallback) Available Ruby profiles: [1] ruby22 (with Rubygems) * java-config: The following VMs are available for generation-2: emerge -qpv sci-mathematics/twelf [ebuild N ] sci-mathematics/twelf-1.7.1 USE="-doc -emacs -examples"
Created attachment 494196 [details] emerge-info.txt
Created attachment 494198 [details] emerge-history.txt
Created attachment 494200 [details] environment
Created attachment 494202 [details] etc.portage.tbz2
Created attachment 494204 [details] sci-mathematics:twelf-1.7.1:20170912-073240.log
Created attachment 494206 [details] temp.tbz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9158c1f69eaa08468fb2a7bb40ca742773e1b20 commit b9158c1f69eaa08468fb2a7bb40ca742773e1b20 Author: Mark Wright <gienah@gentoo.org> AuthorDate: 2018-03-10 23:58:41 +0000 Commit: Mark Wright <gienah@gentoo.org> CommitDate: 2018-03-10 23:58:41 +0000 sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207. Fix 630782. Thanks to Toralf Forster for reporting. Closes: https://bugs.gentoo.org/622848 Closes: https://bugs.gentoo.org/630782 Package-Manager: Portage-2.3.24, Repoman-2.3.6 .../twelf/files/twelf-1.7.1-mlton-20180207.patch | 11 ++ sci-mathematics/twelf/twelf-1.7.1-r1.ebuild | 114 +++++++++++++++++++++ sci-mathematics/twelf/twelf-1.7.1.ebuild | 12 ++- 3 files changed, 132 insertions(+), 5 deletions(-)
