Ticket #323: compile.log

File compile.log, 7.1 KB (added by Makarius, 14 years ago)

stderr of "make compile", with (setq byte-compile-error-on-warn nil)

Line 
1Wrote /Users/makarius/isabelle/ProofGeneral-cvs/acl2/acl2.elc
2Wrote /Users/makarius/isabelle/ProofGeneral-cvs/ccc/ccc.elc
3Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-abbrev.elc
4Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-autotest.elc
5Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-db.elc
6Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-indent.elc
7Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-local-vars.elc
8Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-mmm.elc
9Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-syntax.elc
10Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq-unicode-tokens.elc
11Wrote /Users/makarius/isabelle/ProofGeneral-cvs/coq/coq.elc
12Wrote /Users/makarius/isabelle/ProofGeneral-cvs/demoisa/demoisa-easy.elc
13Wrote /Users/makarius/isabelle/ProofGeneral-cvs/demoisa/demoisa.elc
14Wrote /Users/makarius/isabelle/ProofGeneral-cvs/hol98/hol98.elc
15Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/interface-setup.elc
16Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isabelle-system.elc
17Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-autotest.elc
18Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-find-theorems.elc
19Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-keywords.elc
20Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-mmm.elc
21Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-syntax.elc
22Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar-unicode-tokens.elc
23Wrote /Users/makarius/isabelle/ProofGeneral-cvs/isar/isar.elc
24Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lclam/lclam.elc
25Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lego/lego-syntax.elc
26Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lego/lego.elc
27Wrote /Users/makarius/isabelle/ProofGeneral-cvs/pgshell/pgshell.elc
28Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-extraction.elc
29Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-font.elc
30Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-fun.elc
31Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-lang.elc
32Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-outline.elc
33Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-pbrpm.elc
34Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-sym-lock.elc
35Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox-tags.elc
36Wrote /Users/makarius/isabelle/ProofGeneral-cvs/phox/phox.elc
37Wrote /Users/makarius/isabelle/ProofGeneral-cvs/plastic/plastic-syntax.elc
38Wrote /Users/makarius/isabelle/ProofGeneral-cvs/plastic/plastic.elc
39Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-assoc.elc
40Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-autotest.elc
41Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-custom.elc
42Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-goals.elc
43
44In pg-pbrpm-erase-buffer-menu:
45pg-pbrpm.el:80:8:Warning: `save-excursion' defeated by `set-buffer'
46
47In pg-pbrpm-analyse-goal-buffer:
48pg-pbrpm.el:124:8:Warning: `save-excursion' defeated by `set-buffer'
49Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-pbrpm.elc
50Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-pgip.elc
51
52In pg-response-has-error-location:
53pg-response.el:425:27:Warning: `save-excursion' defeated by `set-buffer'
54Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-response.elc
55Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-thymodes.elc
56
57In pg-processing-complete-hint:
58pg-user.el:935:48:Warning: `save-excursion' defeated by `set-buffer'
59Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-user.elc
60Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-vars.elc
61
62In pg-xml-parse-string:
63pg-xml.el:46:19:Warning: `save-excursion' defeated by `set-buffer'
64Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/pg-xml.elc
65Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-auxmodes.elc
66Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-config.elc
67Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-depends.elc
68Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-easy-config.elc
69Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-faces.elc
70Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-indent.elc
71Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-maths-menu.elc
72Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-menu.elc
73Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-mmm.elc
74
75In proof-complete-buffer-atomic:
76proof-script.el:724:38:Warning: `save-excursion' defeated by `set-buffer'
77Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-script.elc
78Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-shell.elc
79Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-site.elc
80Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-splash.elc
81Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-syntax.elc
82Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-toolbar.elc
83Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-unicode-tokens.elc
84Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-useropts.elc
85Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof-utils.elc
86Wrote /Users/makarius/isabelle/ProofGeneral-cvs/generic/proof.elc
87Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/bufhist.elc
88Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/holes.elc
89Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/local-vars-list.elc
90Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/maths-menu.elc
91Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/pg-dev.elc
92Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/pg-fontsets.elc
93Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/proof-compat.elc
94Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/scomint.elc
95Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/span.elc
96
97In texi-docstring-magic-untabify:
98texi-docstring-magic.el:193:39:Warning: `save-excursion' defeated by
99    `set-buffer'
100Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/texi-docstring-magic.elc
101Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/unicode-chars.elc
102Wrote /Users/makarius/isabelle/ProofGeneral-cvs/lib/unicode-tokens.elc
103
104In mmm-check-changed-buffers:
105mmm-auto.el:149:12:Warning: `save-excursion' defeated by `set-buffer'
106Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-auto.elc
107Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-class.elc
108Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-cmds.elc
109Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-compat.elc
110Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-cweb.elc
111Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-mason.elc
112Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-mode.elc
113Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-region.elc
114Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-rpm.elc
115Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-sample.elc
116Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-univ.elc
117Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-utils.elc
118Wrote /Users/makarius/isabelle/ProofGeneral-cvs/mmm/mmm-vars.elc