Bug 868006

Summary:	sci-mathematics/twelf-1.7.1-r2:0/1.7.1 - /.../mlton:line <snip>: .../mlton-compile: No such file or directory
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo musl team <musl>
Status:	CONFIRMED ---
Severity:	normal	CC:	gienah
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt.bz2 environment etc.portage.tar.bz2 sci-mathematics:twelf-1.7.1-r2:20220902-053125.log temp.tar.bz2

Description Toralf Förster gentoo-dev

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 <repomirrorci@gentoo.org>
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 gentoo-dev

2022-09-02 13:37:05 UTC

Created attachment 802681 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2022-09-02 13:37:07 UTC

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

Comment 3 Toralf Förster gentoo-dev

2022-09-02 13:37:08 UTC

Created attachment 802687 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2022-09-02 13:37:09 UTC

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

Comment 5 Toralf Förster gentoo-dev

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 gentoo-dev

2022-09-02 13:37:11 UTC

Created attachment 802696 [details]
temp.tar.bz2