sbcl Log


Commit Date  
[7d4072] (2.3 kB) by Alastair Bridgewater Alastair Bridgewater

Clean up build process for cross-compiled targets.

* Over time, the process for producing an SBCL build for another
target architecture or OS has become more difficult and less
documented.

* Move all make.sh argument processing to make-config.sh.

* Have make-config.sh produce a file, output/build-config,
containing shell commands to set up important build parameters
such as where to find GNUMAKE, what SBCL_XC_HOST is, and so on.

* Source output/build-config in most of the make*.sh scripts.

* The practical upshot of all this is that a cross-compile
build is now a matter of alternating between target and host,
calling make-config.sh, make-host-1.sh, make-target-1.sh,
make-host-2.sh, make-target-2.sh, and following up with a
make-target-contrib.sh on the target, and you wind up with a
usable product. And, as make-config.sh does all of the arg
parsing, you can pass --xc-host= or --dynamic-space-size= or
whatever and it all works out.

2011-10-22 21:10:38 View
Download
[89987c] (2.3 kB) by Christophe Rhodes Christophe Rhodes

0.9.8.4:
Beginnings of a Win32 merge.
... rearrange the build scripts to use input from files rather
than <<HERE documents.
... (no other changes; just working to get the meaty changes
isolated from the fluff)

2005-12-29 16:08:31 View
Download
[babd45] (6.4 kB) by Thiemo Seufer Thiemo Seufer

0.9.4.72:
Robustify the build system scripts.

2005-09-16 13:26:39 View
Download
[de26f5] (6.4 kB) by Gabor Melis Gabor Melis

0.9.2.12:
* bug fix: no more highly sporadic "couldn't check whether ~S is
readable" when reading a stream and an interrupt hits in the middle
of a select system call
* added with-restarted-syscall macro
* added abcl support to build scripts

2005-07-01 14:35:00 View
Download
[3273f8] (6.4 kB) by Christophe Rhodes Christophe Rhodes

0.9.0.26:
More build fixes
... for our non-8859-1 friends, explicitly request the C locale
while building.
... running the tests (and indeed starting up the new sbcl)
in unknown locales will fail instantly, but that's probably
less annoying than having the build fail at cold-init time.
... probably stdin/out/err should fall back to ascii external format
if all else fails

2005-05-08 15:55:06 View
Download
[8a8a89] (6.4 kB) by Nikodemus Siivola Nikodemus Siivola

0.8.14.13: Step SBCL, step!
* Merge the new intrumentation based single stepper,
excise stale breakpoint code for STEP; TRACE breakpoints
should be unaffected.
* A dash of documentation.

2004-09-13 07:14:35 View
Download
[8902b8] (6.3 kB) by Alexey Dejneka Alexey Dejneka

sbcl-0.8.14.11:
* Merge DX sbcl-0-8-13-dx branch.
* Out-of-line VALUES does not cons.
* Forbid loading of initialization files in foreign.test.sh.

2004-09-13 05:40:27 View
Download
[1bbd40] (6.3 kB) by Christophe Rhodes Christophe Rhodes

0.8alpha.0.20:
Make OpenMCL a suitable slamming host:
... fix slam.sh
... :if-exists :supersede for *output-files-for-genesis*
Since OpenMCL builds still work, announce clisp as a suitable host
for the cross-compiler.

2003-05-08 15:43:21 View
Download
[22b819] (6.2 kB) by Christophe Rhodes Christophe Rhodes

0.8alpha.0.13:
CLISP build megapatch
... mostly putting #-SB-XC in front of :COMPILE-TOPLEVEL,
because clisp gives a full warning for function and
macro redefinition;
... workaround clisp's buggy pretty printer by not exercising it
as much: use (INHIBIT-WARNINGS 3);
... explicit :INITIAL-ELEMENT 0 when we're using 0 to mean
"uninitialized" in MAKE-ARRAY;
... SPECIAL-OPERATOR-P isn't a good test on the host for what
can become a target macro;
... slightly more portable floating point logic:
Explicitly set *READ-DEFAULT-FLOAT-FORMAT* so that we
don't create host LONG-FLOATs by accident;
LOAD-TIME-VALUE magic for negative floating point zeros;
Minor associated text file frobbage
... braindump some unrelated TODO items
Obligatory runtime code improvement
... fix one warning in gencgc.h

2003-05-05 14:09:03 View
Download
[148e38] (5.9 kB) by William Harold Newman William Harold Newman

0.7.10.18:
merged Robert E. Brown shush-the-compiler patch (sbcl-devel
2002-12-13)
minor changes...
...removed DECLAIM FTYPE for
SLOT-ACCESSOR-INLINE-EXPANSION-DESIGNATORS on the
theory that it's too fragile (since (1) S-A-I-E-D does
currently return functions, but could validly return
nonfunctions in some later implementation, and (2)
SBCL's declarations-are-assertions still doesn't work
right for DECLAIM FTYPE)
...sometimes used THE instead of DECLARE
(didn't do yet, but still intend to: add some documentation
related to drichards' #lisp question about :NOT-HOST)

2002-12-14 22:10:06 View
Download
[6c4d4d] (5.9 kB) by Alexey Dejneka Alexey Dejneka

0.7.9.1:
* Added #+cmu(ext:quit) to build scripts
* Fixed SIMPLE-SUBTYPEP type method for FUNCTIONs

2002-10-26 05:30:58 View
Download
[b062a0] (5.9 kB) by William Harold Newman William Harold Newman

0.7.7.24:
READ-VAR-INTEGER and READ-PACKED-BIT-VECTOR are external to
SB!C, so don't need double colons in SB!C: prefixes.
made (FORMAT "foo" "bar") fail earlier, at
FILL-POINTER-OUTPUT-STREAM ctor time, instead of
when the FILL-POINTER-OUTPUT-STREAM is first used for
output
got rid of *TOPLEVEL-LAMBDA-MAX* and
*PENDING-TOPLEVEL-LAMBDAS* (and FORCE-P arg to
SUB-COMPILE-TOPLEVEL-LAMBDAS and
COMPILE-TOPLEVEL-LAMBDAS, and TOPLEVEL-CLOSURE
in COMPILE-TOPLEVEL, and various now-redundant
FORCE-P-only calls to COMPILE-TOPLEVEL-LAMBDAS)

2002-10-10 16:55:05 View
Download
[bcbbce] (6.0 kB) by William Harold Newman William Harold Newman

0.7.1.47:
reviewed OPTIMIZE declarations, (mostly trying to avoid
inadvertently imposing large %DETECT-STACK-EXHAUSTION
overhead)...
...bumped SAFETY 1 to SAFETY 2 in warm.lisp (since
(> SPEED SAFETY) isn't what we want)
...changed (SPEED 3) (SAFETY 3) to (SPEED 2) (SAFETY 2) in
SORT logic
...removed OPTIMIZE declarations in time.lisp, since there's
no up-to-date compelling reason to use other than the
default optimization there.
...removed (OPTIMIZE (SAFETY 3)) in DEFTRANSFORM ARRAY-HEADER-P,
since there seems to be no reason for it
rearranged insert-%DETECT-STACK-EXHAUSTION code to make
indentation less ridiculous

2002-03-19 20:17:50 View
Download
[08671c] (5.9 kB) by William Harold Newman William Harold Newman

0.7.1.23:
catching stack overflow, part I...
...defined placeholder %DETECT-STACK-EXHAUSTION
...arranged for it to be called on entry to lambdas when
(OR (> SAFETY (MAX SPEED SPACE)) (= SAFETY 3))
...downgraded SAFETY to 2 (= SPEED) in SBCL's own code, since
SBCL's own code seems to be at little risk of infinite
recursion

2002-02-21 23:01:25 View
Download
[34dd23] (5.8 kB) by William Harold Newman William Harold Newman

(I didn't have convenient access to the Internet for almost a week, so
these versions just piled up on my computer and then I checked 'em
into CVS all at once.)

0.7.1.5:
made TRANSFORM-CALL provide more informative DEBUG-NAMEs
factored out COMBINATION-FUN-SOURCE-NAME and used it to
support this

0.7.1.6:
tweaked comments
(hunted fruitlessly for bug 147 fix)

0.7.1.7:
(hunted fruitlessly for bug 148 fix)
rewrote MAYBE-EXPAND to try to increase clarity

0.7.1.8:
factored out FUNCTIONAL-SOMEWHAT-LETLIKE-P and
FUNCTIONAL-LETLIKE-P
fixed part of the misbehavior in the bug 148 test case (but
not bug 148 itself, alas) by removing the assumption
that non-null FUNCTIONAL-KIND implies
FUNCTIONAL-SOMEWHAT-LETLIKE-P

0.7.1.9:
still trying to fix bug 148...
...stopped MAYBE-REANALYZE-FUN from trying to reanalyze :DELETED
functionals
s/maybe-reanalyze-fun/maybe-reanalyze-functional/
s/reanalyze-funs/reanalyze-functionals/
s/new-funs/new-functionals/

0.7.1.10:
still trying to fix bug 148...
...IR2-CONVERT-CLOSURE shouldn't be called on :DELETED functionals!
...Given that the :DELETED functional is making it all the way
to the IR2-CONVERT-CLOSURE stage, maybe the failure
in MAYBE-REANALYZE-FUNCTIONAL that I made go away in
0.7.1.9 was a good thing. Reinstate it, though more
clearly (as "shouldn't be reanalyzing :DELETED functional"
rather than a type error when trying to find the COMPONENT
of a LAMBDA) than before.
...stopped IR2-CONVERT-CLOSURE from trying to intensively
check CLAMBDA-to-COMPONENT relationship invariants
for :DELETED CLAMBDAs
made INVALID-FREE-FUN-P return true for :DELETED FUNCTIONALs
just on general principles

0.7.1.11:
s/local-call-lossage/locall-already-let-converted/
various puttering and tidying trying to understand bug 148
specifically and code deletion generally

0.7.1.12:
Having walked through the bug 148 problem more carefully, I can
see that before KIDIFY1 is deleted, it's first LET
converted. Ergo, a :DELETED value is consistent with
LET conversion after all, so...
...relaxed the change in IR1-CONVERT-LOCAL-COMBINATION
made in 0.7.1.8, so that now :DELETED is assumed
to be due to LET conversion after all

0.7.1.13:
made :ENCAPSULATE T the default for TRACE, since the
breakpoint-based version still doesn't work reliably
and since the ANSI description of TRACE is partial to
tracing named things anyway

2002-02-07 20:37:51 View
Download
[0cfad8] (5.8 kB) by William Harold Newman William Harold Newman

0.pre7.86.flaky7.1:
(still dies with the same assertion failure)
reexpressing things in an effort to understand them..
..renamed DFO-WALK-CALL-GRAPH to DFO-SCAVENGE-CALL-GRAPH
..s/new-function/new-fun/
..s/reanalyze-function/reanalyze-fun/
..s/local-call-analyze-until-done/locall-analyze-clambdas-until-done/
..s/local-call-analyze/locall-analyze-component/
..s/local-call-analyze-1/locall-analyze-fun-1/

2001-11-10 17:30:36 View
Download
[5ec8d0] (5.5 kB) by William Harold Newman William Harold Newman

0.pre7.86:
s/top-level/toplevel/, to conform with ANSI EVAL-WHEN
situation names

2001-11-04 01:07:06 View
Download
[dec94b] (5.5 kB) by William Harold Newman William Harold Newman

0.pre7.49:
deleting old byte-compiler/byte-interpreter stuff..
..find . -name *byte*lisp | xargs rm
..find . -name *.lisp | xargs egrep -i 'byte.*comp'

2001-10-06 17:18:30 View
Download
[7c07a6] (5.7 kB) by William Harold Newman William Harold Newman

0.pre7.14.flaky4:
(This version builds without :SB-INTERPRETER, and sort of
works (after commenting out half a dozen regression
tests) but can't bootstrap itself because of its
inability to FUNCALL a COMPILEd function in the
interpreter. The debugger is also broken.)
trying to get things to work better without :SB-INTERPRETER..
..redid EVAL-WHEN handling....
....moved all top-level-EVAL-WHEN handling into
PROCESS-TOP-LEVEL-FORM
....made DEF-IR1-TRANSLATOR EVAL-WHEN handle only the
(trivial) non-top-level-form case
....deleted DO-EVAL-WHEN-STUFF
....added COMPILE-TIME-TOO-P arguments to
PROCESS-TOP-LEVEL-FORM and friends
....wrote PARSE-EVAL-WHEN-SITUATIONS
deleted unused %%DEFCONSTANT reference in byte-comp.lisp
Now that EVAL-WHEN is handled differently, we end up in
DEFUN %DEFUN instead of DEF-IR1-TRANSLATOR %DEFUN
at cross-compile time. Now that EVAL-WHEN is
becoming sane, the day may be approaching that those
can become the same, but for now, I just decorated
DEFUN %DEFUN with readmacros so it won't try to do
impossible things at cross-compilation time.
moved *UNIVERSAL-FUNCTION-TYPE* into SB!KERNEL exports
renamed PROCESS-SOURCE to SUB-SUB-COMPILE-FILE
set *TOP-LEVEL-LAMBDA-MAX* to 1 so the %COMPILER-DEFSTRUCT
hack in PROCESS-TOP-LEVEL-FORM can go away
Now that EVAL-WHEN is handled differently, the system stumbles
over other new problems. Debugging non-ANSI cruft is
no fun, so try to ANSIfy out of the problem, rushing
boldly where no angel has tread before..
..made PROCESS-TOP-LEVEL-FORM handle SYMBOL-MACROLET
..factored handle-SYMBOL-MACROLET logic into
DO-SYMBOL-MACROLET-STUFF (analogous to
DO-MACROLET-STUFF) to support this
..renamed DO-SYMBOL-MACROLET-STUFF and
DO-MACROLET-STUFF to
FUNCALL-IN-SYMBOL-MACROLET-LEXENV and
FUNCALL-IN-MACROLET-LEXENV
..redid PROCESS-TOP-LEVEL-LOCALLY so that it can be used to
help implement MACROLET and SYMBOL-MACROLET
Messing with EVAL-WHEN situations isn't a very understandable
way to suppress enclosed EVAL-WHEN magic. Instead,
use an enclosing LET to suppress top-level-formness.
hacked globaldb.lisp so the cross-compiler won't nuke its own
*INFO-CLASSES* and *INFO-TYPES* while cross-compiling
the target compiler
For some reason, (FLOAT-RADIX "notfloat") => 2, as in the bad
old days. For now, suppress that regression test and
go on. (Getting the happy path to work again is more
urgent than getting error handling right.)
commented out a time.pure.lisp test too, since interpreted
FUNCALL and COMPILE aren't playing nicely right now
commented out a map-tests.impure.lisp test too, since it
trips over what looks like it might be an obscure
byte compiler problem and I hope I can get other stuff
to work OK without it before returning to it
commented out a pathnames.impure.lisp test too, since
interpreted ASSERT isn't working right
commented out some tests in type.impure.lisp for similar reasons
commented out walk.impure.lisp test (Maybe the common theme
in many of these problems is inability to handle
IGNORE-ERRORS in the new interpreter?)

2001-08-20 14:28:33 View
Download
[3bd7a9] (6.0 kB) by William Harold Newman William Harold Newman

0.6.12.49:
made verbose GC output report GET-INTERNAL-RUN-TIME when each
GC happens, so that when you reading a log containing
many verbose GC messages, you have a better chance of
grokking what happened
fixed POSIX-GETENV doc string after Alexey Dejneka pointed out
that it was wrong

0.6.12.50:
removed some #+OpenBSD stubifications, since FILE-LENGTH is no
longer completely broken on OpenBSD now
fixed the skip-trailing-whitespace logic in READ so it no
longer requires a second Ctrl-D char to return EOF

0.6.12.51:
merged MNA HANDLER-CASE patch: Since the compiler seems to be
smart enough to handle it now, use lexical scoping
again instead of the previous dynamic scoping
workaround; and also do #+X86 (FLOAT-WAIT).

0.6.12.52:
quasimerged MNA fix-GCC-warnings patch (sbcl-devel
2001-07-17), editing the source by hand
also made other tweaks to fix GCC warnings
fixed memory leak in wrapped_readlink()

0.6.12.53:
merged MNA port of rtoy COERCE and ARRAY-ELEMENT-TYPE
DEFOPTIMIZERs from CMU CL (sbcl-devel 2001-07-16)
merged MNA port of rtoy irrational math fixes (sbcl-devel
2001-07-16)
added MNA regression tests of irrational functions

0.6.12.54:
merged MNA port of cachopo COPY-READTABLE fix (sbcl-devel
2001-07-17)
merged MNA port of mai DESCRIBE-a-class fix (sbcl-devel
2001-07-17)

0.6.12.55:
added distclean.sh to remove stuff like
customize-target-features.lisp
DEFCONSTANT *FOO* now issues a STYLE-WARNING.
factored out LOOKS-LIKE-NAME-OF-SPECIAL-VAR-P to support this
removed call to no-longer-defined OUTPUT-INTERPRETED-FUNCTION
in PRINT-OBJECT method for INTERPRETED-FUNCTION (which
will hopefully go away real soon anyway)

0.6.12.56:
fixed bug 26: ARRAY-DISPLACEMENT now returns (VALUES NIL 0)
for undisplaced arrays.
fixed bug 55: DEFMACRO-MUNDANELY no longer ignores DOC.
DEFMACRO-MUNDANELY should be in SB-INT.

0.6.12.57:
set default for *DERIVE-FUNCTION-TYPES* to NIL (i.e. ANSI
behavior)
overrode the default within the cross-compiler, so that SBCL
itself is still built the old static efficient way

0.6.12.58:
fixed the DCONSING carry case in PROFILE
ported CMU CL fix to FILL-POINTER-OUCH (Tim Moore's fix
to Janne Rinta-Manty's bug report)
added MNA fix for FIX-CORE-SOURCE-INFO

2001-07-30 19:30:33 View
Download
[aa2dc9] (5.5 kB) by William Harold Newman William Harold Newman

0.6.12.22:
DB logical pathname and COMPILE-FILE-PATHNAME patch from
sbcl-devel 2001-06-01
made FASL file version number independent of CPU type; also
made byte FASL file version number the same
many many changes more or less related to changing the FASL
file version number..
..created SB!FASL package to hold stuff like +FASL-FILE-VERSION+
which is common to loading and dumping
..renamed early-load.lisp to early-fasl.lisp
..renamed FASL-FILE stuff to FASL-OUTPUT
..*LAP-OUTPUT-FILE* doesn't need to be special (and so is
renamed to LAP-FASL-OUTPUT).
..exported FAST-READ stuff from SB-INT, so that it's visible
in SB-FASL
..deleted old stale load-related variables
*LOAD-BYTE-COMPILED-CODE-TO-DYNAMIC-SPACE*
*LOAD-X86-TLF-TO-DYNAMIC-SPACE*
*ENABLE-DYNAMIC-SPACE-CODE*
(hardwiring code which referred to them to use their
effectively-constant values T, NIL, T instead). (Now
we no longer need to worry about what package they're
in..)
..made some symbols external to SB-KERNEL so that
now-in-SB-FASL code could find them (and so that
some of the old :: prefixes could go away):
*FREE-INTERRUPT-CONTEXT-INDEX*,
*!INITIAL-FOO* for all FOO,
*CURRENT-CATCH-BLOCK*,
*CURRENT-UNWIND-PROTECT-BLOCK*,
*PSEUDO-ATOMIC-ATOMIC*, *PSEUDO-ATOMIC-INTERRUPTED*
..deleted unneeded "SB!IMPL::" prefixes for various
other *STATIC-SYMBOLS*-related symbols which're
exported (mostly from SB-KERNEL) already
..deleted unused %INITIAL-FUNCTION (smashing Alpha
*STATIC-SYMBOLS* indices)
suppressed some stuff in side-effectful-pathnames.test.sh
until we merge the DB cleanups from flaky2_branch

2001-06-06 21:43:50 View
Download
[b19093] (5.4 kB) by William Harold Newman William Harold Newman

0.6.12.13:
set up :SB-AFTER-XC-CORE feature so slam.sh is more convenient
The various core address mismatch states should be fatal
errors, not just fprintf()s.

2001-05-23 14:00:15 View
Download
[510849] (5.4 kB) by William Harold Newman William Harold Newman

0.6.12.7.flaky1.2:
(This version seems not to be flaky any more, and so should
be the end of the flaky1 branch: I'm just checking
it in in preparation for "cvs update -j flaky1" or some
such thing to merge the changes back into the main
branch.)
tweaked run-tests.sh machinery to use an absolute path for
SBCL, on general principles and specifically so that
Dan Barlow's new ENSURE-DIRECTORIES-EXIST tests can run
made (UNIX-NAMESTRING "") equivalent to (UNIX-NAMESTRING "."),
as the simplest way to make ENSURE-DIRECTORIES-EXIST
work for relative pathnames. (As per Dan's 2001-05-18
sbcl-devel mail, it can't be ANSI conforming until
*DEFAULT-PATHNAME-DEFAULTS* is made ANSI, and that's
too messy for now, so just do the simple thing.)
dropped search list support from UNIX-NAMESTRING while I was
at it, since search lists ain't supported no more
removed undocumented hardly-used EXECUTABLE-ONLY arg from
UNIX-NAMESTRING, moving the "is it executable?" test
into run-program.lisp
removed REMOVEME stuff

2001-05-19 00:13:14 View
Download
[c8322d] (5.5 kB) by William Harold Newman William Harold Newman

0.6.12.7.flaky1.1:
(As per Daniel Barlow sbcl-devel 2001-05-17, the removal of
the mysterious "" special case in UNIX-STAT will
probably keep this version from building itself,
so I didn't even try. It does, however, at least
do "sh run-tests.sh" successfully.)
fixed declaration in %EXTRACT-STAT-RESULTS so that the
system won't have to interpret the alien reference
at runtime on every call to the function
I found how to fix the boot/gencgc/purify problem which was
leaving initial-function unmapped -- I could copy
current_region_free_pointer into
boxed_region.free_pointer just before
gc_alloc_update_page_pages() in save.c. However,
that left me with other flaky GC problems. So I gave
up my GC hacking in this version as a bad job, and
copied original 0.6.12.7 GC-related files over
the modified versions: gencgc.c, save.c, purify.c,
gc.lisp, save.lisp
made %EXTRACT-STAT-RESULTS inline to suppress an apparent
memory corruption bug

2001-05-18 13:22:50 View
Download
[d7f613] (5.4 kB) by William Harold Newman William Harold Newman

0.6.12.7.flaky1:
(This system state is seriously screwed up. It did build,
both on Linux and on OpenBSD, but signalled an
error after writing out sbcl.core on OpenBSD, and
although it runs a little both on Linux and on
OpenBSD, it hangs in the regression tests. It
also has some temporary hacks marked REMOVEME,
including one which suppresses PURIFY when
building the system (!).)
made the system build on OpenBSD again..
..stubbed stuff out as a quick fix to the problem of FFI to
64-bit stat.st_size
tried to make the system run on OpenBSD again..
..initialized current_dynamic_space, since it's now used
instead of DYNAMIC_SPACE_START in PURIFY
..added new assertions about GENCGC alloc_region stuff being
reset when it should be
renamed Lisp-level struct stat stuff to struct wrapped_stat
tried to tidy up Lisp-level stat stuff; removed mysterious
(STRING= NAME "") behavior from UNIX-STAT
added slam.sh to help in low-level compile-and-try cycle
pulled alloc_region-is-reset logic out into separate
functions, and added more assertions on it (hunting
for a bug which broke the old assertions)
renamed gc_alloc_large to gc_alloc_possibly_large, and
gc_quick_alloc_large_unboxed to
gc_quick_alloc_unboxed_possibly_large
enabled various GC checks, e.g. gencgc_zero_check=1
deleted unused (and bizarre..) gencgc_verify_zero_fill()
turned off PURIFY in order to get the system to build, since
PURIFY seems to be misbehaving (leaving INIT-FUNCTION
above the cutoff address..)

2001-05-15 14:08:31 View
Download
Older >