Age | Commit message (Collapse) | Author | Files | Lines |
|
Don't translate C-strings.
* boot/ast.boot (nativeType) [SBCL]: Don't translate C-strings.
|
|
(|systemLibraryDirectory|): Likewise.
|
|
($(oa_boot_linkset)): New Make rule.
* lisp/Makefile.in (oa_base_lisp_linkset): Tidy.
($(oa_base_lisp_linkset)): New Make rule.
* lisp/core.lisp.in (linkset-from): Read the linkset from the file.
|
|
* configure.ac.pamphlet: Activate safety+debug build for ECL-based
system.
src/
2008-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisp/core.lisp.in (|$useDynamicLink|)[ECL]: Test for :DFFI feature.
|
|
* interp/sys-driver.boot (AxiomCore::%sysInit): Have ECL quiet.
(initializeGlobalState): Initialize new world states.
* interp/define.boot (compDefine): Tidy.
(compDefineCategory2): Explicitly initialize $TOP_LEVEL and
$definition.
* interp/daase.lisp (|fillDatabasesInCore|): Use
$buildingSystemAlgebra.
* interp/compiler.boot (compMakeDeclaration): Explicitly
initialize $insideExpressionIfTrue.
* boot/translator.boot (AxiomCore::%sysInit): Supper GCL and ECL
compiler notes, but ask for warning.
|
|
* lisp/core.lisp.in (linkset-from-if): Fix typo.
|
|
(|link|): Use prologue for all systems.
* interp/sys-driver.boot (systemMain): New. Break from restart().
(restart): Tidy.
* interp/boot-pkg.lisp: Don't push :OPEN-AXIOM-BOOT-COMPLETE.
|
|
* lisp/Makefile.in (edit): Update.
* interp/daase.lisp: Don't load initial databases when
--system-algebra.
* interp/Makefile.pamphlet (${SAVESYS}): Build with --system-algebra.
|
|
* interp/sys-driver.boot (initializeGlobalState): Record value for
--system-algebra.
* interp/sys-globals.boot ($buildingSystemAlgebra): Declare.
* interp/compiler.boot (compileSpad2Cmd): Don't build local
database if compiling system algebra.
* interp/i-syscmd.boot (compileAsharpCmd1): Likewise.
* algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Use
--system-algebra.
(SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise.
(PARSER.NRLIB/code.$(FASLEXT)): Likewise.
|
|
(SYSTEM-SUBDIRECTORY): Likewise.
(LINKSET-FROM-IF): Likewise.
(COMPLETE-FASL-LIST-FOR-LINK): Use it.
(getPrologue): New.
(link): Take an additional optional parameter for prologue. Tidy.
(makeHandler): Adjust.
* lisp/Makefile.in: Use LNKEXT where appropriate.
(oa_base_lisp_linkset): New.
($(oa_target_lispdir)/core.$(LNKEXT)): New rule.
(base-lisp$(EXEEXT)): Now depends on $(oa_base_lisp_linkset).
(mostlyclean-local): Remove $(oa_target_lispdir) too.
* boot/Makefile.in: Use LNKEXT instead of FASLEXT.
(boot_objects_extra): Remove.
(oa_target_bootdir): New.
(oa_boot_linkset): Likewise.
(stamp): Require $(oa_boot_linkset).
($(oa_target_bootdir)/%.$(LNKEXT)): New rule.
(strap/bootsys$(EXEEXT)): Add prologue code.
(stage1/bootsys$(EXEEXT)): Likewise.
(stage2/bootsys$(EXEEXT)): Likewise.
(mostlyclean-local): Remove $(oa_target_bootdir) too.
|
|
(|$useDynamicLink|): Likewise.
(|$effectiveFaslType|): Hold extension of linkable FASL.
(|$NativeModuleExt|): Tidy.
(|$CoreLibName|): New.
(|$ExtraRuntimeLibraries|): Likewise.
(extra-runtime-libs): Likewise.
(complete-fasl-list-for-link): Likewise.
(|link|) [ECL]: Link against system libraries.
(|compileLispFile|): Tidy.
(begin-compile-time): New.
(end-compile-time): Likewise.
(compile-time-p): Likewise.
(import-module): Use it.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Use oa_c_runtime_extra.
* lib/Makefile.in (oa_installed_corelib): New.
* boot/initial-env.lisp: Don't export systemRootDirectory and
systemLibraryDirectory from here.
* boot/translator.boot (systemRootDirectory): Move to lisp/core.lisp.
(systemLibraryDirectory): Likewise.
(loadSystemRuntimeCore): Do nothing for GCL and ECL.
* interp/boot-pkg.lisp: Inform that Boot system is compleye.
|
|
when --enable-checking.
|
|
during build. Also use 'cp -p' instead of $(INSTALL).
* algebra/Makefile.pamphlet: Likewise.
* graph/Makefile.in: Likewise.
* boot/Makefile.in: Likewise.
* hyper/Makefile.in: Likewise.
* input/Makefile.pamphlet: Likewise.
* interp/Makefile.pamphlet: Likewise.
* lib/Makefile.in: Likewise.
* lisp/Makefile.in: Likewise.
* share/Makefile.in: Likewise.
|
|
|
|
* lisp/core.lisp.in ($effectiveFaslType): New.
* boot/translator.boot (needsStableReference?): Handle the ECL case.
(coerceToNativeType): Likewise.
(genImportDeclaration): Likewise.
(shoeRemoveStringIfNec): Fix thinko.
($bootDefined): Define.
($bootDefinedTwice): Likewise.
($lispWordTable): Likewise.
(getIntermediateLispFile): Use $effectiveFaslType.
(loadSystemRuntimeCore): Use coreError, not systemError.
|
|
|
|
|
|
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/strap: Update Lisp translation.
* lisp/core.lisp.in: Tidy.
|
|
* interp/bootlex.lisp (init-boot/spad-reader): Use $OutputStream.
* interp/comp.lisp (|compQuietly|): Likewise.
(|compileFileQuietly|): Likewise.
(|compileQuietly|): Likewise.
* interp/unlisp.lisp (|Prompt|): Likewise.
* interp/server.boot (serverReadLine): Indent while body.
|
|
|
|
|
|
|
|
(char_type): Likewise.
(int_type): Likewise.
(float_type): Likewise.
(double_type): Likewise.
(string_type): Likewise.
(pointer_type): Likewise.
(edit): Use them.
* interp/wi1.boot (ppFull): Tidy. Don't set *PRINT-DEPTH*.
* interp/vmlisp.lisp (gcmsg): Define when SBCL.
* interp/template.boot (measureCommon): Fix thinko.
* interp/sys-utility.boot: Move basic type definition from
g-util.boot to here.
* interp/g-util.boot (augProplistOf): Fix signature declaration.
* interp/daase.lisp: Tidy.
* interp/c-util.boot (displayComp): Remove assignment to
$X,$M,$F.
* interp/boot-pkg.lisp: Tidy.
* interp/axext_l.lisp: Likewise.
* interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL.
($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy.
(patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT).
(wi2.$(FASLEXT)): Require define.$(FASLEXT).
(spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT).
* boot/translator.boot (genImportDeclaration): Include translation
for SBCL.
* boot/parser.boot (bpMapping): Tidy.
* boot/ast.boot (coreSymbol): New.
(bootSymbol): Likewise.
(bootSymbol): Likewise.
* lisp/core.lisp.in (|$NativeTypeTable|): New. Export.
* algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS).
* algebra/exposed.lsp.pamphlet: Tidy.
|
|
it is always built into libopen-axiom-core.
src/
* include/cfuns.h (findString): Rename from include/cfuns-c.H1.
Make DLL-aware.
* include/open-axiom.h: New.
* include/sockio.h: Make DLL-aware.
* include/bsdsignal.H1: Fold content into include/bsdsignal.h.
Remove.
* lib/bsdsignal.c: Don't include bsdsignal.H1
* lib/fnct_key.c: Likewise.
* lib/sockio-c.c: Likewise.
* lib/Makefile.in (other_SOURCES): Remove.
(other_objects): Likewise.
(pamphlets): Likewise.
(clean-local): Don't remove source files.
(libopen_axiom_core_la_SOURCES): New.
(libopen_axiom_core_la_objects): Likewise.
(stamp): Require $(axiom_target_libdir)/libopen-axiom-core.la too.
* graph/view2D/main2d.c: Likewise.
* clef/edible.c: Likewise.
* graph/view3D/main3d.c: Likewise.
* graph/view3D/testcol.c: Likewise.
* graph/viewman/sselect.c: Likewise.
* graph/viewman/viewman.c: Likewise.
* hyper/htinp.c: Likewise.
* hyper/hyper.c: Likewise.
* hyper/spadbuf.c: Likewise.
* hyper/spadint.c: Likewise.
* sman/session.c: Likewise.
* sman/sman.c: Likewise.
* sman/spadclient.c: Likewise.
|
|
* interp/sys-driver.boot (algebraBootstrapDir): New.
* interp/lisplib.boot (findModule): New.
(loadLib): Use it.
* interp/daase.lisp (localdatabase): Make sure loadable modules
have proper extensions.
* interp/sys-utility.boot (existingFile?): New.
|
|
(|resetErrorCount|): New export function.
* interp/vmlisp.lisp (opOf): Remove macro definition.
* interp/msg.boot (setMsgCatlessAttr): Fix thinko.
* interp/monitor.lisp (monitor-add): Remove extra right parenthesis.
* interp/lisplib.boot: Import "debug".
(initializeLisplib): Don't use ERRORS variable.
* interp/i-spec1.boot (isDomainValuedVariable): Tidy.
* interp/i-output.boot (outputTran): Use SIZE instead of #.
(output): Remove misguided conversion from Tuple to List.
* interp/i-coerce.boot (coerceInteractive): Allow domain object
convesions.
* interp/g-util.boot (opOf): Declare.
* interp/Makefile.pamphlet (lisplib.$(FASLEXT)): Depend on
debug.$(FASLEXT).
* algebra/Makefile.pamphlet: Use .$(FASLEXT) instead of hardcoded
.o extension.
|
|
|
|
|
|
* boot/ast.boot (bfUntuple): New.
(bfTagged): Toplevel tags are signatures.
* boot/parser.boot (bpTyping): New.
(bpTagged): Use it.
* boot/translator.boot (genDeclaration): New.
(bpOutItem): Use it.
* interp/compiler.boot: Add type annotations for compiler routines.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Don't turn on emit-fn.
|
|
|
|
|
|
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* initial-env.lisp.pamphlet ("BOOTTRAN"): Don't use SYSTEM package.
interp/
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisplib.boot (getSlotFromDomain): Use pointer to function Undef
directly, instead of variable Undef.
* i-syscmd.boot (cd): Move from patches.lisp to here.
* g-timer.boot (printTimeIfTrue): Move from patches.lisp to here.
* patches.lisp (Undef): Remove.
($printTimeIfTrue): Move to g-timer.boot.
(cd): Move to i-syscmd.boot.
(nullstream): Remove.
(nononullstream): Likewise.
(/MAJOR-VERSION): Move to sys-constants.boot.
* setq.lisp (/MAJOR-VERSION): Remove.
lisp/
2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* core.lisp.in ("AxiomCore"): Don't use SYSTEM package.
|
|
2007-12-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (boot_objects_extra): New.
(stage0/bootsys$(EXEEXT)): Use it.
(stage1/bootsys$(EXEEXT)): Likewise.
(stage2/bootsys$(EXEEXT)): Likewise.
src/lisp/
2007-12-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (base_lisp_objects): New. Abstract over
Lisp compilation models.
(core.$(FASLEXT)): Tidy.
* core.lisp.in (|getOutputPathname|): Make unary.
(|link|): Make sure object files are used to construct ECL
programs.
(|makeHandler|): Adjust.
(|compileLispFile|): Likewise.
|
|
* configure.ac.pamphlet: Tidy. Don't instantiate src/lisp/core.lisp.
* configure.ac: Regenerate.
* configure: Likewise.
* config/var-def.mk (open_axiom_installdir): New.
(AXIOM): Support versioning.
* Makefile.pamphlet (install): Tidy.
Remove sections on SPAD and SYS variables.
* Makefile.in: Regenerate.
src/algebra/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (INTERPSYS): Now take system root directory
and algebra directory as arguments.
* Makefile.in: Regenerate.
src/etc/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (INTERPSYS): Take system root directory and
algebra directory as arguments.
* Makefile.in: Regenerate.
src/interp/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* bookvol5.pamphlet (initroot): Use |systemRootDirectory| instead
of environment variable AXIOM.
(|loadExposureGroupData|): Likewise.
* br-data.boot.pamphlet (dbHasExamplePage): Likewise.
(dbRead): Likewise.
(dbReadComments): Likewise.
(buildGloss): Likewise.
* br-saturn.boot.pamphlet (getSaturnExampleList): Likewise.
* br-search.boot.pamphlet (grepSplit): Likewise.
* daase.lisp.pamphlet (asharp): Likewise.
(initial-getdatabase): Likewise.
(DaaseName): Likewise.
(create-initializers): Likewise.
* ht-root.boot.pamphlet (htGlossPage): Likewise.
* htcheck.boot.pamphlet (buildHtMacroTable): Likewise.
* i-syscmd.boot.pamphlet (summary): Likewise.
(copyright): Likewise.
* patches.lisp.pamphlet (restart0): Likewise.
* util.lisp.pamphlet (sourcepath): Likewise.
* Makefile.pamphlet (OBJS): Include sys-driver.$(FASLEXT).
(${SAVESYS}): Tidy.
(${AXIOMSYS}): Likewise.
(${DEPSYS}): Depend on sys-driver.$(FASLEXT). Load it.
(sys-driver.$(FASLEXT)): New rule.
* Makefile.in: Regenerate.
* sys-driver.boot: New.
src/lisp/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* core.lisp.in (|%systemOptions|): New.
(|%systemArguments|): Likewise.
(|$systemInstallationDirectory|): Likewise.
(|$sysOpts|): Likewise.
(|$sysArgs|): Likewise.
(|handleCommandLine|): Tidy.
(|printUsage|): Update.
* Makefile.pamphlet (core.lisp): Instantiate here.
src/script/
2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* axiom.in (AXIOM): Use value substituted by Autoconf.
Remove dead code.
|
|
out of date.
src/algebra/
* Makefile.pamphlet (DEPSYS): Remove.
(COMPILE_LISP): New.
(strap/%.o): Use it to compile cached Lisp files.
src/interp/
* bookvol5.pamphlet (restart): Simplify. Handle command line
arguments.
src/lisp/
* core.lisp.in (|handleCommandLine|): Return truthvalue on success.
Don't call $originalLispTopLevel.
(|compileLispHandler|): Rename file to in-file.
(|topLevel|): Exit only whne handleCommandLine indicates so.
|
|
|
|
|
|
2007-09-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
* core.lisp.in (|coreError|): Rename from |error|. Adjust callers.
src/boot/
2007-09-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
* ast.boot.pamphlet (bfCompDef): Call coreError, not error.
* includer.boot.pamphlet (shoeNotFound): Likewise.
(SoftShoeError): Likewise.
|
|
variable.
Genrate src/lisp/core.lisp at configure time.
* configure.ac: Regenerate.
* configure: Likewise.
* config/setup-dep.mk ($(top_builddir)/src/lisp/core.lisp): New rule.
src/lisp/
* Makefile.pamphlet (fasl_ext): New. Factor out the logic
for computing file extensions.
(FASLS): Rename from CORE. Use it to compute the list of files to
load.
($(OUT)/lisp$(EXEEXT)): Adjust.
(base-lisp$(EXEEXT)): sb-cltl2 module is no longer need.
(core.lisp): Now depend on core.lisp.in. Regenerate if necessary.
(mostlyclean-local): Remove FASLs too.
* Makefile.in: Regenerate.
* core.lisp.in: New.
* core.lisp.pamphlet: Move content to core.lisp.in. Remove.
|
|
|
|
* core.lisp.pamphlet (|compileLispFile|): Tidy.
src/interp
* Makefile.pamphlet (boot-pkg.lisp): Remove rule.
(diagnostics.boot): Likewise.
(sys-globals.boot): Likewise.
(sys-constants.boot): Likewise.
* Makefile.in: Regenerate.
|
|
source code compilation has FAILURE-P.
|
|
system GCL.
* Makefile.in: Regenerate.
|
|
* Makefile.in Regenerate.
|
|
(import-module): Simplify.
|
|
(GCL_LTLD): Likewise.
(COBJEXT): Likewise.
(CORE): Likewise.
($(OUT)/lisp$(EXEEXT)): Tidy.
* Makefile.in: Regenerate.
|
|
2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (all-lisp): Don't make $(axiom_build_bindir)
here. Pass target tp $(MAKE).
(all-boot): Likewise.
(all-lib): Don't make $(OUT) here. Pass target to $(MAKE).
* Makefile.in: Regenerate.
src/boot/
2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (BOOTSYS_FOR_TARGET): Remove.
(stamp): Update prerequisite.
($(axiom_build_bindir)/bootsys$(EXEEXT)): Rename from
$(BOOTSYS_FOR_TARGET).
(%/.started): Rename from mk-statge0-dir. Tidy.
(stage0/%.clisp): Update prerequisite.
(%/initial-env.$(FASLEXT)): Likewise.
(mk-stage1-dir): Remove.
(mk-stage2-dir): Likewise.
(mostlyclean-local): Update.
* Makefile.in: Regenerate.
src/lib/
2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet ($(axiom_target_libdir)/libspad.la): Remove
prerequisite mk-target-libdir.
(mk-target-libdir): Remove.
* Makefile.in: Regenerate.
src/lisp/
2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet ($(OUT)/lisp$(EXEEXT)): Create $(OUT)
directory before installing lisp executable.
* Makefile.in: Regenerate.
|
|
|