elisp: Make this a separately buildable subsystem.

Remove changes outside src/elisp/.  Replace Makefile-fragment with a
simple Makefile.  Replace compile-system with many calls to
compile-file.

Merge branch 'master' into ELisp.

ffi: Punt AUXDIR from shim-config.scm.

Procedures like compile-shim need to use the first directory in
MITSCHEME_LIBRARY_PATH (not the installation directory) so that the
FFI test can override it, getting the not-yet-installed configuration
from the build directory.

Symlink shim-config.scm to src/lib/ and generate it during `make all',
not `make install', so that it is available to the test FFI (during
`make check').

Fix FFI test NOT to use with-notification around `make', which cannot
use fresh-line.  Just write whole lines to notification-output-port.

Merge branch 'master' into ELisp.

configure: Move check for __x86_64__.

Move AC_CHECK_DECL(__x86_64__) before AC_MSG_CHECKING([for native-code
support]) so that the former's progress note does not arrive in the
middle of the latter's, like this:

checking for native-code support... checking whether __x86_64__ is declared... no
yes, for i386

ffi: Add install-html using documentation build parameters.

Install parameters in infodir/mit-scheme-doc-config.scm.

ffi: Use Makefile to save shim build parameters.

Install them in AUXDIR/shim-config.scm and use them in the
compile-shim, link-shim, install-shim and install-load-option
procedures.

Fix continue_from_trap to NOT open a FREE_PARANOIA_MARGIN hole.

Just reset Free to heap_alloc_limit if its sanity check fails.

ffi: Update Makefile for prhello example.

Use the generate-shim, compile-shim, link-shim and install-shim
procedures.  Move to a separate file included via @verbatiminclude,
for more convenient testing.

Add FFI to doc/info-dir and reformat.

Renamed the dir entries for consistency, and so that they sort
together in a large category like "Programming Languages".  Updated
the @direntry in each toplevel .texinfo to match.

Add portable IEEE 754 format utilities.

Not hooked up to anything, but these have been floating around my
disk for months and were likely to get lost.  Feel free to hook these
up and start using them.  If you do, you should start by writing some
automatic tests.

Correct types in BIGNUM_REDUCE_LENGTH and use output parameter as such.

Make definition of VERIFY-HEAP primitive unconditional.

Define a verify_heap stub that always returns true if
!ENABLE_DEBUGGING_TOOLS.

Fix string-head! to hide the unused (non-marked) words.

This quiets 3 of the 17 complaints from verify_heap during `make
check'.  The remaining 14 appear to be caused by SIGFPE recovery.

Fix BIGNUM_REDUCE_LENGTH to hide the unused (non-marked) words.

This quiets 7093 of the 7110 complaints from verify_heap during the
tests.

Call verify_heap before GC to scan for bogosities.

Trap recovery (on Unix) occasionally fails the assert in
linkage_section_type when its scan of the heap encounters non-marked
words that are not "hidden" by a non-marked vector header.

The new verify_heap function scans the heap in the same way, and
complains on stderr about any invalid linkage section types, object
types, etc.  If the GC_Debug flag is set, verify_heap is called by the
garbage-collect primitive to scan maximal heap.

The new dump_heap_at function can be used to inspect the heap around a
reported bogosity.

Fix technically incorrect malloc size in re_match.  Omit needless cast.

Nix dead initialization in scan_ephemerons.

Mark scan unused in non-debug builds.

Make (cd "/nonexistent") fail.

Kinda kludgey, but it'll do for interactive use.

See XXX comment for what a proper solution should look like.

Remove vestigial unused variable in FAST-DIVISION.

Revert "Assemble (JMP (@PCR FOO)) (LABEL FOO) to zero bits on amd64."

This reverts commit f4dda7bf4a6f9f529fd2b295a0f51ee9ed6dc22b.

Apparently this doesn't work.

Clarify comment over amd64 fixnum_shift hook.

Open-code non-2^n quotients and remainders by multiplication on amd64.

Assemble (JMP (@PCR FOO)) (LABEL FOO) to zero bits on amd64.

Reorder branches in FIX:QUOTIENT/FIX:REMAINDER code on amd64.

Make the negative numerator case a forward branch so it will be
statically predicted not-taken.

Avoid modifying rcx in amd64 fixnum_shift assembly hook.

Fix sf/cgen so it doesn't just drop declarations for the compiler.

Attempt to fix an undefined variable reference in svm disassembler.

Guessing here what the right way is; I don't know this code well
enough to say for sure.

Generate all OS constructors for compiler.

Remove obsolete AC_SYS_RESTARTABLE_SYSCALLS.

We don't use the result anyway, and it always causes an annoying
delay in configure.

Use FLO:NEGATE, not (FLO:- 0. ...), to apply sign in NUMBER->STRING.

Don't rewrite (flo:- 0. x) as (flo:negate x) on amd64.

This is wrong because (flo:- 0. 0.) is 0. but (flo:negate 0.) is -0.

This caused some broken code to be miscompiled and yield the correct
result accidentally!

More hacks to get liarc to build.

Try builtin objects before fasl files in liarc FASLOAD.

Generate code for -0. constants correctly in liarc.

compile-liarc-bundle rules depend on some tools in microcode/.

Fix up fni->bci files in crsend.scm.

Temporary kludge: bake a fresh runtime into the toolchain.

This is practically necessary for now because of the SEQUENCE-2 mess.
It may continue to be necessary in the future until we have proper
cross-compilation tools that can handle macros and fasdump format
changes sanely.

Put back some temporary SEQUENCE-2 scaffolding.

Simplify x86 fenv structures.

Avoid needless typedefs and unions.

On i386, avoid FCOM[P] and FTST in favour of FUCOM[P].

The FCOM[P] and FTST instructions trap even on quiet NaN; the
FUCOM[P] instructions don't.

Avoid using new-style SEQUENCE stuff in LIAR.

Fix default (ISO-8859-1) char image strings.

We previously used `ANSI' char image strings, which really meant
Windows-1252 for some reason.  Now we use ISO-8859-1 so things get
displayed correctly in X at least.  Some characters may not display
*nicely* on Windows, but they will display *correctly* (with an octal
escape).

svm: Fix the disassembler.

Re-wrote it with a "cursor" that wraps up the block and offset and
symbol-table previously passed around and/or fluid-bound to *block,
*current-offset, *symbol-table, etc.

svm: Convert program_counter from a static variable to an argument.

This seems to speed the machine up 20%.  Before this patch, the
compile-everything phase ("Use the new machine and compiler to
re-compile everything.") took ~67 minutes on a 3.2GHz Core i3-550.
After applying this patch, that phase took ~53 minutes (21% less).

This conversion was incomplete in the original implementation (in
6ae556b).  I backed it out in order to get a simpler machine working.

ffi: Avoid longjmps in C-CALL primitive (callout_continue).

Rather than abort after every callout (in callout_continue), call the
second trampoline directly, after unsealing the Scheme stack.

make.so is supposed to be found in the compiler bundle.

It must have been Chaos that slipped in this bogus fix.

src/Makefile.tools.in: Missing dependency made cross-compiler crawl.

ffi: Add flovec_* functions and abort_to_c for shims.

Add flovec_length, flovec_loc and flovec_ref.  The abort_to_c function
allows the Gtk shim's run_gtk() to stop Scheme and return to the
toolkit.

ffi/build.scm.in: Install compile-file:sf-only?ed options.

Copy the .bin if there is no .com.  Copy .ext too.

doc/ffi: typo

mhash: Simplify configure.ac.

doc/user-manual (Unix Installation): Added plugin building.

src/Makefile.in: Make xml/xml-unx.pkd depend on cref-star-parser.

dist/make-src-files: Fix $plugin-config log file names.

Revert 13b5bca.  Use the host's runtime, not a cross runtime.

Revert 41c0070 and 5cf6bfc too, and the "training" in cref/make.scm
(for the compiler) and runtime.sf (for a cross runtime).

dist/make-src-files: Autoconf plugins (FFI wrappers).

Fix a confusing error message too.

ffi: Add DESTDIR support.

Fix LIAR/svm build to cross from 9.1.1.

As for LIAR/C, do not cross compile host .bins containing sequence-3s.
Chuck them to STAGEX/ and re-syntax with cross runtime.  And syntax
compiler/base/crsend AFTER said chucking.

Make compile-xml dependent on cref-star-parser.

xml.pkg wants (global-definitions "../star-parser/parser") else
;Warning: Could not find global definitions: ...

Fix LIAR/C build to cross from 9.1.1.

Toss the .bins generated by the host runtime (which include
sequence-3).  Only cross-compile .bins generated by the cross runtime.

More FFI cleanups: no need to include microcode/achost.ac.

Fix new build to cross from 9.1.1.

On a 9.1.1 host, the new build dies while compiling the compiler.

    ;  Generating SCode for file: "fggen/canon.scm" => "fggen/canon.bin"...
    ;MICROCODE-TYPE: Unknown name sequence

The usual remedies did not suffice.  In fact now the temporary code in
cref/make.scm is not needed.  The compiler is compiled with a cross
runtime that provides the necessary patch via its utabs.scm, where
access to type-aliases and returns-aliases is easy, though
insufficient to train the host.  9.1.1 still needs the training in
runtime.sf.

Unlike a cross compile, a cross runtime was not used by this build(?).
Use a new compile-cross-runtime target and --fasl make.com to make
tools/syntaxer.com.  Make syntax-cross-cref and syntax-cross-sf
dependent on syntax-cross-runtime for its runtime.pkd (pinching off a
little parallelism, but allowing them to proceed while the runtime
compiles).  Did not try to syntax anything but the new compiler with
the new star-parser.

Eliminate compile-system.

Automatically clean tree and build tools if necessary.

Turn some phony rules into explicit file rules to reduce rebuilds.  [retry]

Unfinished conversion; some of the explicit file rules still depend
on phony rules.  Finishing this is left as an exercise for the
reader.

Revert "Turn some phony rules into explicit file rules to reduce rebuilds."

This reverts commit 54e7f433ab16f65cd12779b7a672edf713c72427.

That commit wasn't supposed to revert an earlier change to SVM1; not
sure how that snuck in there.

Turn some phony rules into explicit file rules to reduce rebuilds.

Unfinished conversion; some of the explicit file rules still depend
on phony rules.  Finishing this is left as an exercise for the
reader.

Reduce SVM1 address decoding indirection.

This must have hammered horrendously on the CPU's branch target
predictor.  No measurements yet but I'm sure SVM1 should be a lot
faster now.

Tweak svm1-interp a little.

- Mark several routines inline.
- Add branch predictions.
- Fail gracefully, don't abort, on illegal instructions.

Add a few more file types for save/restore targets.

In COMPILE-SYSTEM, load the bin if cross-compiling too.

XXX COMPILE-SYSTEM is completely wrong; it needs to be eliminated in
favour of a principled way to identify macro dependencies, like in
Scheme48 and Racket.

Call it `saved-objects', not `obj', to avoid confusing BSD make.

Don't list compiler twice in SUBDIRS.

Load ffimacro.bin in win32.sf, not ffimacro.

Avoids accidentally loading cross-compiled gobbledegook which the
toolchain barfs on.

Explain what the `cross-target' target does.

toolchain target should really depend on tools/syntaxer.com too.

Remove unfinished kludge to build IMAIL with LIARC.

Recompile edwin/edwin.bld only if necessary.

Recompile *.pkd files for liarc only if necessary.

Fasload errors should fail gracefully, not terminate Scheme.

Lots of changes toward making liarc build use new structure.

Doesn't fully work yet, but it's progress!

Old build system is still all there; you must use `make all-native'
to try the new one.

Use $@ and $< for liarc .c.o rule, not $*.o and $*.c.

Otherwise, it won't work in subdirectories.

Update links created by Setup.sh to reflect installed lib directory.

Compile IMAIL in --batch-mode.

OOPS!  Don't forget to build compiler/rtlopt...

Dependents of cross-target must be conditionalized on @IF_CROSS@.

First whack at making new build system work for liarc.

Rename cross-barrier/cross-end to cross-host/cross-target.

Add cast to avoid negative arguments to isalnum.

compile-imail needs cross-end, not just cross-barrier.

Just cast to long; don't check whether %td will work for ptrdiff_t.

Don't reset AS_FLAGS and M4_FLAGS to empty in microcode/configure.

Use a compile-test, not a run-test, for __ELF__.

Use CAREFUL-OBJECT-DATUM in i386 MULTIPLY-OBJECT-BY-2.

Merge branch 'make-cross-tools'

Make the `save' makefile targets fail noisily.

Fix missing close paren in Makefile.in.

Call it the toolchain, not the bootstrap toolchain.

Rename Makefile.boot -> Makefile.tools, boot/ -> tools/.

`Bootstrap toolchain' sounds like something that is useful only to
bootstrap MIT Scheme, when in fact the object of the exercise is to
make it a general-purpose cross-compilation toolchain application
that you can use to cross-compile anything.