the relevant build.log file

build.log (text/plain), 14.18 KB, created by rwgardner on 2012-08-13 12:52:34 UTC

[32;01m * [39;49;00mPackage:    app-emacs/proofgeneral-4.1
[32;01m * [39;49;00mRepository: gentoo
[32;01m * [39;49;00mMaintainer: [e-mail]
[32;01m * [39;49;00mUSE:        amd64 elibc_glibc kernel_linux multilib userland_GNU
[32;01m * [39;49;00mFEATURES:   sandbox splitdebug
 [32;01m*[0m Emacs version: 23.1.1
>>> Unpacking source...
>>> Unpacking ProofGeneral-4.1.tgz to /var/tmp/portage/app-emacs/proofgeneral-4.1/work
>>> Source unpacked in /var/tmp/portage/app-emacs/proofgeneral-4.1/work
>>> Preparing source in /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1 ...
 [32;01m*[0m Applying proofgeneral-4.1-emacs-24.patch ...
[A[72C [34;01m[ [32;01mok[34;01m ][0m
 [32;01m*[0m Applying proofgeneral-4.1-image-load-path.patch ...
[A[72C [34;01m[ [32;01mok[34;01m ][0m
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1 ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1 ...
make -j3 clean 
rm -f acl2/acl2.elc ccc/ccc.elc coq/coq-abbrev.elc coq/coq-autotest.elc coq/coq-db.elc coq/coq-indent.elc coq/coq-local-vars.elc coq/coq-mmm.elc coq/coq-syntax.elc coq/coq-unicode-tokens.elc coq/coq.elc hol98/hol98.elc isar/interface-setup.elc isar/isabelle-system.elc isar/isar-autotest.elc isar/isar-find-theorems.elc isar/isar-keywords.elc isar/isar-mmm.elc isar/isar-profiling.elc isar/isar-syntax.elc isar/isar-unicode-tokens.elc isar/isar.elc lego/lego-syntax.elc lego/lego.elc pgshell/pgshell.elc phox/phox-extraction.elc phox/phox-font.elc phox/phox-fun.elc phox/phox-lang.elc phox/phox-outline.elc phox/phox-pbrpm.elc phox/phox-sym-lock.elc phox/phox-tags.elc phox/phox.elc generic/pg-assoc.elc generic/pg-autotest.elc generic/pg-custom.elc generic/pg-goals.elc generic/pg-movie.elc generic/pg-pamacs.elc generic/pg-pbrpm.elc generic/pg-pgip.elc generic/pg-response.elc generic/pg-user.elc generic/pg-vars.elc generic/pg-xml.elc generic/proof-autoloads.elc generic/proof-auxmodes.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-faces.elc generic/proof-indent.elc generic/proof-maths-menu.elc generic/proof-menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof-shell.elc generic/proof-site.elc generic/proof-splash.elc generic/proof-syntax.elc generic/proof-toolbar.elc generic/proof-unicode-tokens.elc generic/proof-useropts.elc generic/proof-utils.elc generic/proof.elc lib/bufhist.elc lib/holes.elc lib/local-vars-list.elc lib/maths-menu.elc lib/pg-dev.elc lib/pg-fontsets.elc lib/proof-compat.elc lib/scomint.elc lib/span.elc lib/texi-docstring-magic.elc lib/unicode-chars.elc lib/unicode-tokens.elc *~ */*~ .\#* */.\#* */.autotest.log */.profile.log
(cd doc; make clean)
make[1]: Entering directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/doc'
make -f Makefile.doc DOCNAME=PG-adapting MAKE="make -f Makefile.doc" clean
make[2]: Entering directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/doc'
rm -f PG-adapting.cp PG-adapting.fn PG-adapting.vr PG-adapting.tp PG-adapting.ky PG-adapting.kys PG-adapting.pg PG-adapting.fns PG-adapting.vrs PG-adapting.cps PG-adapting.aux PG-adapting.log PG-adapting.cp PG-adapting.cp0 PG-adapting.toc
rm -f *~
make[2]: Leaving directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/doc'
make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean 
make[2]: Entering directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/doc'
rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc
rm -f *~
make[2]: Leaving directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/doc'
make[1]: Leaving directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/doc'
make -j3 -j1 compile EMACS=emacs 
****************************************************************
 Byte compiling... 
****************************************************************
make elc
make[1]: Entering directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1'
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile acl2/acl2.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/acl2/acl2.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile ccc/ccc.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/ccc/ccc.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-abbrev.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-abbrev.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-autotest.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-autotest.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-db.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-db.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-indent.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-indent.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-local-vars.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-local-vars.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-mmm.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-mmm.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-syntax.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-syntax.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq-unicode-tokens.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq-unicode-tokens.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile coq/coq.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/coq/coq.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile hol98/hol98.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/hol98/hol98.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile isar/interface-setup.el
Wrote /var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/isar/interface-setup.elc
emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile isar/isabelle-system.el

In toplevel form:
isar/isabelle-system.el:295:49:Error: called-interactively-p called with 1 argument, but accepts only 0
make[1]: *** [isar/isabelle-system.elc] Error 1
make[1]: Leaving directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1'
make: *** [compile] Error 2
 [31;01m*[0m ERROR: app-emacs/proofgeneral-4.1 failed (compile phase):
 [31;01m*[0m   emake failed
 [31;01m*[0m 
 [31;01m*[0m If you need support, post the output of `emerge --info '=app-emacs/proofgeneral-4.1'`,
 [31;01m*[0m the complete build log and the output of `emerge -pqv '=app-emacs/proofgeneral-4.1'`.
 [31;01m*[0m The complete build log is located at '/var/tmp/portage/app-emacs/proofgeneral-4.1/temp/build.log'.
 [31;01m*[0m The ebuild environment file is located at '/var/tmp/portage/app-emacs/proofgeneral-4.1/temp/environment'.
 [31;01m*[0m Working directory: '/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1'
 [31;01m*[0m S: '/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1'