sci-mathematics:twelf-1.7.1:20170912-073240.log

sci-mathematics:twelf-1.7.1:20170912-073240.log (text/plain), 3.46 KB, created by Toralf Förster on 2017-09-12 07:50:26 UTC

 * Package:    sci-mathematics/twelf-1.7.1
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc 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/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/twelf-1.7.1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/twelf-1.7.1/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 ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/twelf-1.7.1/work/twelf ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/twelf-1.7.1/work/twelf ...
make -j1 mlton 'CFLAGS=-O2 -pipe -march=native -Wall' 'LDFLAGS=-Wl,-O1 -Wl,--as-needed -fno-PIE' 
*************************************************
Twelf Server
*************************************************
rm -Rf src/frontend/buildid.sml
bin/buildid >src/frontend/buildid.sml
mltonversion=`mlton -default-ann 'nonexhaustiveMatch ignore' 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 -default-ann 'nonexhaustiveMatch ignore' -cc-opt -O2 -cc-opt -pipe -cc-opt -march=native -cc-opt -Wall -link-opt -Wl,-O1 -link-opt -Wl,--as-needed -link-opt -fno-PIE -as-opt -Wa,--noexecstack -output bin/twelf-server build/${cmfileid}
*************************************************
Twelf Emacs Integration
*************************************************
Add

(setq twelf-root "/var/tmp/portage/sci-mathematics/twelf-1.7.1/work/twelf/")
(load (concat twelf-root "emacs/twelf-init.el"))

to your .emacs file
*************************************************
>>> Source compiled.
 * Skipping make test/check due to ebuild restriction.
>>> Test phase [disabled because of RESTRICT=test]: sci-mathematics/twelf-1.7.1

>>> 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
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/twelf-1.7.1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/twelf-1.7.1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:twelf-1.7.1:20170912-073240.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/twelf-1.7.1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/twelf-1.7.1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/twelf-1.7.1/work/twelf'
 * S: '/var/tmp/portage/sci-mathematics/twelf-1.7.1/work/twelf'
 * QA Notice: file does not exist:
 * 
 * 	doinfo: doc/guide/twelf.info does not exist