Building Elf (outside CMU)

% sml
- use "export-elf.sml"; save ();

This will save an executable core image in the file
bin/elfsml

If you also would like the additional tools that provide some simple
analysis of the structure of your signatures, do instead:

% sml
- use "export-elf.sml"; use "load-elf-tools.sml";
- open ElfTools;
- save ();

======================================================================
Building an Elf without sourcegroup (internal CMU release)

? Consider: does Elf.version need to be changed ?
? Consider: is the load-elf.sml file up-to-date ?

% sml
- use "export-elf-cmu.sml"; save ();

This will save an executable core image in file
/afs/cs/project/ergo/misc/.elf/@sys/bin/elfsml, accessible in
/afs/cs/project/ergo/misc/bin/elfsml
======================================================================
Building an Elf with sourcegroup (for development)

? Consider: does Elf.version need to be changed ?
? Consider: clean out binaries with 
            - cleanElf ();
	    in the old core image to get smaller images ?

% bin/clean-tags
% sml-sg
- use "build-elf.sml"; save ();
- makeLoadElf ();       (* only for building Elf w/o sourcegroup later *)
- makeElfTools ();	(* for compiling tools --- will not be in binary *)
% bin/make-tags

This will save an executable core image in @sys/bin/elfsml and create a tags
file in TAGS
