app-emacs:proofgeneral-4.5:20250224-174419.log

app-emacs:proofgeneral-4.5:20250224-174419.log (text/plain), 3.75 KB, created by Toralf Förster on 2025-02-24 18:03:20 UTC

 * Package:    app-emacs/proofgeneral-4.5:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/ProofGeneral/PG/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
 * Emacs version: 30.1
>>> Unpacking source...
>>> Unpacking proofgeneral-4.5.tar.gz to /var/tmp/portage/app-emacs/proofgeneral-4.5/work
>>> Source unpacked in /var/tmp/portage/app-emacs/proofgeneral-4.5/work
>>> Preparing source in /var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5 ...
 * Applying proofgeneral-4.4-desktop.patch ...
 [ ok ]
 * Applying proofgeneral-4.5-paths.patch ...
 [ ok ]
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5 ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5 ...
make -O -j4 compile doc.info 
/bin/sh: line 1: which: command not found
(cd doc; make EMACS=Emacs executable not found info)
****************************************************************
 Byte compiling... 
****************************************************************
make elc
make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" executable
make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" not
make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" found
make[2]: *** No rule to make target 'executable'.  Stop.
make[2]: *** No rule to make target 'not'.  Stop.
make[1]: *** [Makefile:22: executable] Error 2
make[1]: *** Waiting for unfinished jobs....
make[1]: *** [Makefile:22: not] Error 2
make[2]: *** No rule to make target 'found'.  Stop.
make[1]: *** [Makefile:22: found] Error 2
make: *** [Makefile:266: doc.info] Error 2
make: *** Waiting for unfinished jobs....
make[1]: Entering directory '/var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5'
/bin/sh: line 1: which: command not found
Emacs executable not found -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (\. coq easycrypt pghaskell pgocaml pgshell phox qrhl generic lib ci/compile-tests ci/compile-tests/001-mini-project ci/compile-tests/002-require-no-dependencies ci/compile-tests/003-require-error ci/compile-tests/004-dependency-cycle ci/compile-tests/005-change-recompile ci/compile-tests/006-ready-dependee ci/compile-tests/007-slow-require ci/compile-tests/008-default-dir ci/compile-tests/009-failure-processing ci/simple-tests))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote noruntime) byte-compile-warning-types)) (setq byte-compile-error-on-warn nil))' -f batch-byte-compile coq/coq-abbrev.el
make[1]: Emacs: No such file or directory
make[1]: *** [Makefile:155: coq/coq-abbrev.elc] Error 127
make[1]: Leaving directory '/var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5'
make: *** [Makefile:100: compile] Error 2
 * ERROR: app-emacs/proofgeneral-4.5::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=app-emacs/proofgeneral-4.5::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=app-emacs/proofgeneral-4.5::gentoo'`.
 * The complete build log is located at '/var/log/portage/app-emacs:proofgeneral-4.5:20250224-174419.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/app-emacs/proofgeneral-4.5/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/app-emacs/proofgeneral-4.5/temp/environment'.
 * Working directory: '/var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5'
 * S: '/var/tmp/portage/app-emacs/proofgeneral-4.5/work/PG-4.5'