* Package:    sci-mathematics/twelf-1.7.1-r2:0/1.7.1
 * Repository: gentoo
 * Maintainer: gienah@gentoo.org
 * USE:        abi_x86_64 amd64 elibc_musl kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking twelf-src-1.7.1.tar.gz to /var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf ...
 * Applying twelf-1.7.1-doc-guide-twelf-dot-texi.patch ...
 [ ok ]
 * Applying twelf-1.7.1-doc-guide-Makefile.patch ...
 [ ok ]
 * Applying twelf-1.7.1-emacs-twelf.patch ...
 [ ok ]
 * Applying twelf-1.7.1-emacs-twelf-init.patch ...
 [ ok ]
 * Applying twelf-1.7.1-Makefile.patch ...
 [ ok ]
 * Applying twelf-1.7.1-mlton-mlb.patch ...
 [ ok ]
 * Applying twelf-1.7.1-mlton-20180207.patch ...
 [ ok ]
 * Applying twelf-1.7.1-remove-svnversion.patch ...
 [ ok ]
 * Applying twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch ...
 [ ok ]
 * Applying twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch ...
 [ ok ]
 * Applying twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf ...
make -j4 mlton 'CFLAGS=-pipe -march=native -fno-diagnostics-color -O2 -D_GLIBCXX_ASSERTIONS' 'LDFLAGS=-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fno-PIE' 
rm -Rf src/frontend/buildid.sml
mltonversion=`mlton -disable-ann nonexhaustiveMatch 2>&1 | awk 'NR==1 { print 0+$2 }'`;	\
if   [ $mltonversion -ge 20041109 ]; then			\
	cmfileid="twelf-server-mlton.mlb";			\
elif [ $mltonversion="MLTONVERSION" ]; then			\
	cmfileid="twelf-server-mlton.mlb";			\
else								\
	echo; echo "Error: MLton >= 20041109 required";	echo;	\
	exit 1;							\
fi;								\
mlton -disable-ann nonexhaustiveMatch -cc-opt -pipe -cc-opt -march=native -cc-opt -fno-diagnostics-color -cc-opt -O2 -cc-opt -D_GLIBCXX_ASSERTIONS -link-opt -Wl,-O1 -link-opt -Wl,--as-needed -link-opt -Wl,--defsym=__gentoo_check_ldflags__=0 -link-opt -fno-PIE -as-opt -Wa,--noexecstack -output bin/twelf-server build/${cmfileid}
bin/buildid >src/frontend/buildid.sml
*************************************************
*************************************************
Twelf Server
Twelf Emacs Integration
*************************************************
*************************************************
Add

(setq twelf-root "/var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf/")
(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):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/twelf-1.7.1-r2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/twelf-1.7.1-r2::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:twelf-1.7.1-r2:20220902-053125.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf'
 * S: '/var/tmp/portage/sci-mathematics/twelf-1.7.1-r2/work/twelf'