[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] (optimize safety) and interpsys building error
From: |
David MENTRE |
Subject: |
[Axiom-developer] (optimize safety) and interpsys building error |
Date: |
Sat, 26 Jul 2003 12:48:08 +0200 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux) |
Hello Axiom's hackers,
I though it would have been a good idea to have a version of Axiom that
would have been compiled with all the bells and whistles activated, i.e.
with (declaim (optimize safety)) (see patch below). Well, it is not as
easy as I first thought.
When building intersys, the build fails with the following message:
Error: Lisps arglist maximum surpassed
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by GET-NAG-CHAPTER.
Has anybody an idea why it fails with (declaim (optimize safety)) and
not with the usual build (safety 0)?
Best regards,
d.
--- axiom-cvs-2003-06-25/new/new/src/boot/Makefile.pamphlet Wed May 7
21:28:56 2003
+++ axiom-cvs-2003-06-25-dm/new/new/src/boot/Makefile.pamphlet Fri Jul 25
21:35:58 2003
@@ -1095,13 +1095,13 @@
the final {\bf SAVESYS} image. This S-expression will be given to
a clean lisp image, loaded with the compiled files, and saved.
-Note that the \' symbol should not appear in this S-expression
+Note that the ' symbol should not appear in this S-expression
because the {\bf CMD0} command will be expanded into a shell
echo command and it will be surrounded by single quotes at the
expansion. Adding a single quote symbol will break this expansion.
<<environment>>=
-CMD0= (progn (mapcar (function (lambda (x) (load x))) (quote (${OBJS1})))
(system::save-system "${SAVESYS}"))
+CMD0= (progn (declaim (optimize safety)) (mapcar (function (lambda (x) (load
x))) (quote (${OBJS1}))) (system::save-system "${SAVESYS}"))
@
\subsection{boothdr.lisp \cite{1}}
@@ -1110,7 +1110,7 @@
${OUT}/boothdr.${O}: ${MID}/boothdr.lisp
@ echo 1 making ${OUT}/boothdr.${O} from ${MID}/boothdr.lisp
@ ( cd ${MID} ; \
- echo '(progn (compile-file "boothdr.lisp" :output-file
"${OUT}/boothdr.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) (compile-file
"boothdr.lisp" :output-file "${OUT}/boothdr.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1144,7 +1144,7 @@
${OUT}/btincl2.${O}: ${MID}/btincl2.lisp
@ echo 4 making ${OUT}/btincl2.${O} from ${MID}/btincl2.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "btincl2.lisp" :output-file
"${OUT}/btincl2.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"btincl2.lisp" :output-file "${OUT}/btincl2.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1172,7 +1172,7 @@
btincl2.boot: btincl2.boot.pamphlet
@echo 7 making btincl2.boot from btincl2.boot.pamphlet
@( ${SPADBIN}/notangle btincl2.boot.pamphlet >btincl2.boot ; \
- echo '(progn (boottran::boottocl "btincl2.boot") (${BYE}))' |
${BOOTSYS} )
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"btincl2.boot") (${BYE}))' | ${BOOTSYS} )
@
@@ -1187,7 +1187,7 @@
${OUT}/btpile2.${O}: ${MID}/btpile2.lisp
@ echo 8 making ${OUT}/btpile2.${O} from ${MID}/btpile2.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "btpile2.lisp" :output-file
"${OUT}/btpile2.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"btpile2.lisp" :output-file "${OUT}/btpile2.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1215,7 +1215,7 @@
btpile2.boot: btpile2.boot.pamphlet
@echo 11 making btpile2.boot from btpile2.boot.pamphlet
@( ${SPADBIN}/notangle btpile2.boot.pamphlet >btpile2.boot ; \
- echo '(progn (boottran::boottocl "btpile2.boot") (${BYE}))' |
${BOOTSYS} )
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"btpile2.boot") (${BYE}))' | ${BOOTSYS} )
@
@@ -1230,7 +1230,7 @@
${OUT}/btscan2.${O}: ${MID}/btscan2.lisp
@ echo 12 making ${OUT}/btscan2.${O} from ${MID}/btscan2.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "btscan2.lisp" :output-file
"${OUT}/btscan2.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"btscan2.lisp" :output-file "${OUT}/btscan2.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1258,7 +1258,7 @@
btscan2.boot: btscan2.boot.pamphlet
@echo 15 making btscan2.boot from btscan2.boot.pamphlet
@( ${SPADBIN}/notangle btscan2.boot.pamphlet >btscan2.boot ; \
- echo '(progn (boottran::boottocl "btscan2.boot") (${BYE}))' |
${BOOTSYS} )
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"btscan2.boot") (${BYE}))' | ${BOOTSYS} )
@
@@ -1268,7 +1268,7 @@
${OUT}/exports.${O}: ${MID}/exports.lisp
@ echo 16 making ${OUT}/exports.${O} from ${MID}/exports.lisp
@ ( cd ${MID} ; \
- echo '(progn (compile-file "exports.lisp" :output-file
"${OUT}/exports.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) (compile-file
"exports.lisp" :output-file "${OUT}/exports.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1298,7 +1298,7 @@
${OUT}/npextras.${O}: ${MID}/npextras.lisp
@ echo 19 making ${OUT}/npextras.${O} from ${MID}/npextras.lisp
@ ( cd ${MID} ; \
- echo '(progn (compile-file "npextras.lisp" :output-file
"${OUT}/npextras.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) (compile-file
"npextras.lisp" :output-file "${OUT}/npextras.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1333,7 +1333,7 @@
${OUT}/ptyout.${O}: ${MID}/ptyout.lisp
@ echo 22 making ${OUT}/ptyout.${O} from ${MID}/ptyout.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "ptyout.lisp" :output-file
"${OUT}/ptyout.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"ptyout.lisp" :output-file "${OUT}/ptyout.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1360,7 +1360,7 @@
ptyout.boot: ptyout.boot.pamphlet
@echo 25 making ptyout.boot from ptyout.boot.pamphlet
@( ${SPADBIN}/notangle ptyout.boot.pamphlet >ptyout.boot ; \
- echo '(progn (boottran::boottocl "ptyout.boot") (${BYE}))' |
${BOOTSYS} )
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"ptyout.boot") (${BYE}))' | ${BOOTSYS} )
@
@@ -1375,7 +1375,7 @@
${OUT}/tyextra.${O}: ${MID}/tyextra.lisp
@ echo 26 making ${OUT}/tyextra.${O} from ${MID}/tyextra.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "tyextra.lisp" :output-file
"${OUT}/tyextra.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"tyextra.lisp" :output-file "${OUT}/tyextra.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1403,7 +1403,7 @@
tyextra.boot: tyextra.boot.pamphlet
@echo 29 making tyextra.boot from tyextra.boot.pamphlet
@( ${SPADBIN}/notangle tyextra.boot.pamphlet >tyextra.boot ; \
- echo '(progn (boottran::boottocl "tyextra.boot") (${BYE}))' |
${BOOTSYS} )
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"tyextra.boot") (${BYE}))' | ${BOOTSYS} )
@
@@ -1418,7 +1418,7 @@
${OUT}/typars.${O}: ${MID}/typars.lisp
@ echo 30 making ${OUT}/typars.${O} from ${MID}/typars.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "typars.lisp" :output-file
"${OUT}/typars.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"typars.lisp" :output-file "${OUT}/typars.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1445,7 +1445,7 @@
typars.boot: typars.boot.pamphlet
@echo 33 making typars.boot from typars.boot.pamphlet
@( ${SPADBIN}/notangle typars.lisp.pamphlet >typars.boot ; \
- echo '(progn (boottran::boottocl "typars.boot") (${BYE}))' | ${BOOTSYS}
)
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"typars.boot") (${BYE}))' | ${BOOTSYS} )
@
@@ -1460,7 +1460,7 @@
${OUT}/typrops.${O}: ${MID}/typrops.lisp
@ echo 34 making ${OUT}/typrops.${O} from ${MID}/typrops.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "typrops.lisp" :output-file
"${OUT}/typrops.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"typrops.lisp" :output-file "${OUT}/typrops.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1488,7 +1488,7 @@
typrops.boot: typrops.boot.pamphlet
@echo 37 making typrops.boot from typrops.boot.pamphlet
@( ${SPADBIN}/notangle typrops.boot.pamphlet >typrops.boot ; \
- echo '(progn (boottran::boottocl "typrops.boot") (${BYE}))' |
${BOOTSYS} )
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"typrops.boot") (${BYE}))' | ${BOOTSYS} )
@
@@ -1503,7 +1503,7 @@
${OUT}/tytree1.${O}: ${MID}/tytree1.lisp
@ echo 38 making ${OUT}/tytree1.${O} from ${MID}/tytree1.lisp
@ ( cd ${MID} ; \
- echo '(progn ${DEPS} (compile-file "tytree1.lisp" :output-file
"${OUT}/tytree1.${O}") (${BYE}))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file
"tytree1.lisp" :output-file "${OUT}/tytree1.${O}") (${BYE}))' | ${LISPSYS} )
@
@@ -1531,7 +1531,7 @@
tytree1.boot: tytree1.boot.pamphlet
@echo 41 making tytree1.boot from tytree1.boot.pamphlet
@( ${SPADBIN}/notangle tytree1.boot.pamphlet >tytree1.boot ; \
- echo '(progn (boottran::boottocl "tytree1.boot") (${BYE}))' |
${BOOTSYS} )
+ echo '(progn (declaim (optimize safety)) (boottran::boottocl
"tytree1.boot") (${BYE}))' | ${BOOTSYS} )
@
\section{Making the documentation}
--- axiom-cvs-2003-06-25/new/new/src/interp/Makefile.pamphlet Sat Jun 28
00:27:27 2003
+++ axiom-cvs-2003-06-25-dm/new/new/src/interp/Makefile.pamphlet Sat Jul
26 12:12:49 2003
@@ -517,6 +517,7 @@
${OUT}/slam.${LISP} ${LOADSYS}
@ echo 3 making ${DEPSYS}
@ echo '(load "${OUT}/sys-pkg")' > ${OUT}/makedep.lisp
+ @ echo '(declaim (optimize safety))' >> ${OUT}/makedep.lisp
@ echo '(push :oldboot *features*)' >>${OUT}/makedep.lisp
@ echo '(load "${OUT}/nocompil")' >> ${OUT}/makedep.lisp
@ echo '(load "${OUT}/util")' >> ${OUT}/makedep.lisp
@@ -590,6 +591,7 @@
@ cp -p ${SRC}/doc/msgs/s2-us.msgs ${SPAD}/doc/msgs
# @ cp -p ${SRC}/doc/msgs/co-eng.msgs ${SPAD}/doc/msgs
@ echo '(load "${OUT}/sys-pkg")' > ${OUT}/makeint.lisp
+ @ echo '(declaim (optimize safety))' >> ${OUT}/makeint.lisp
@ echo '(load "${OUT}/nocompil")' >> ${OUT}/makeint.lisp
@ echo '(load "${OUT}/util")' >> ${OUT}/makeint.lisp
@ echo '(in-package "BOOT")' >> ${OUT}/makeint.lisp
@@ -621,7 +623,7 @@
${DEBUGSYS}: ${MID}/debugsys.lisp
@ echo 7 building debugsys
@ (cd ${OBJ}/${SYS}/bin ; \
- echo '(progn (gbc t) (load "${MID}/debugsys.lisp") (user::spad-save
"${DEBUGSYS}"))' | ${LISPSYS} )
+ echo '(progn (declaim (optimize safety)) (gbc t) (load
"${MID}/debugsys.lisp") (user::spad-save "${DEBUGSYS}"))' | ${LISPSYS} )
@ echo 8 ${DEBUGSYS} created
@
@@ -6279,7 +6281,7 @@
${MNT}/${SYS}/algebra/exposed.${O} : ${MID}/exposed.lsp ${LISPSYS}
@ echo 616 making ${MNT}/${SYS}/algebra/exposed.${O} from
${MID}/exposed.lsp
- @ echo '(progn (compile-file "${MID}/exposed.lsp" :output-file
"${MNT}/${SYS}/algebra/exposed.${O}") (${BYE}))' | ${LISPSYS}
+ @ echo '(progn (declaim (optimize safety)) (compile-file
"${MID}/exposed.lsp" :output-file "${MNT}/${SYS}/algebra/exposed.${O}")
(${BYE}))' | ${LISPSYS}
${OUT}/database.date:
--- axiom-cvs-2003-06-25/new/new/src/interp/util.lisp.pamphlet Sat Jul 12
18:43:09 2003
+++ axiom-cvs-2003-06-25-dm/new/new/src/interp/util.lisp.pamphlet Fri Jul
25 21:18:04 2003
@@ -1106,6 +1106,7 @@
(if (member (file-namestring lib) nooptimize :test #'string=)
(setq compiler::*speed* 0)
(setq compiler::*speed* 3))
+#+:akcl (declaim (optimize safety))
(compile-lib-file dotlsp :output-file doto)))))))
@
--
address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] (optimize safety) and interpsys building error,
David MENTRE <=