Bug 868006 – sci-mathematics/twelf-1.7.1-r2:0/1.7.1 - /.../mlton:line <snip>: .../mlton-compile: No such file or directory

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 2022-09-02 13:37:04 UTC]

(load (concat twelf-root "emacs/twelf-init.el"))
to your .emacs file
*************************************************
/usr/lib/mlton/bin/mlton: line 32: /usr/lib/mlton/lib/mlton/mlton-compile: No such file or directory
make: *** [Makefile:59: twelf-server-mlton] Error 127
 * ERROR: sci-mathematics/twelf-1.7.1-r2::gentoo failed (compile phase):

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.0_musl_hardened-j4-20220828-222810

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

gcc-config -l:
 [1] x86_64-gentoo-linux-musl-12.2.0 *
clang/llvm (if any):
Python 3.10.6
Available Rust versions:
  [1]   rust-bin-1.62.1 *
php cli:
GNU Make 4.3

  HEAD of ::gentoo
commit 87c302409b1a94b54e679aa6352834cdd1ba2983
Author: Repository mirror & CI <[e-mail]>
Date:   Fri Sep 2 04:47:02 2022 +0000

    2022-09-02 04:47:01 UTC

emerge -qpvO sci-mathematics/twelf
[ebuild  N    ] sci-mathematics/twelf-1.7.1-r2  USE="-doc -emacs -examples"

[Comment 1 Toralf Förster 2022-09-02 13:37:05 UTC]

Created attachment 802681 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2022-09-02 13:37:07 UTC]

Created attachment 802684 [details]
emerge-history.txt.bz2

[Comment 3 Toralf Förster 2022-09-02 13:37:08 UTC]

Created attachment 802687 [details]
environment

[Comment 4 Toralf Förster 2022-09-02 13:37:09 UTC]

Created attachment 802690 [details]
etc.portage.tar.bz2

[Comment 5 Toralf Förster 2022-09-02 13:37:10 UTC]

Created attachment 802693 [details]
sci-mathematics:twelf-1.7.1-r2:20220902-053125.log

[Comment 6 Toralf Förster 2022-09-02 13:37:11 UTC]

Created attachment 802696 [details]
temp.tar.bz2