Age | Commit message (Collapse) | Author | Files | Lines |
|
* Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases.
src/ChangeLog
2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisp/core.lisp.in (|%algebraSystemIsComplete|): New.
(|%basicSystemIsComplete|): Use it.
* interp/wi1.boot (setqSingle): Use maximalSuperType.
(coerceSubset): Simplify.
(compCoerce1): Tidy.
* interp/i-resolv.boot (resolveTCat): Use superType.
* interp/lisplib.boot (findConstructorSlotNumber): Use isSubset.
(sigsMatch): Likewise.
(findDomainSlotNumber): Likewise.
* interp/define.boot (compSubDomain1): Reject for complex subdomain
predicate. Support paramterized subdomains.
* interp/daase.lisp (interpOpen): Read superdomain slot.
(getdatabase): Remove adhoc hardcoded superdomain info.
Return superdomain info stored in database.
(localnrlib): Read superdomain info.
(write-interpdb): Write superdomain info.
(database): Add superdomain slot.
* interp/g-util.boot (superType): New.
(maximalSuperType): Rework. Support parameterized subdomains.
(noteSubDomainInfo): New.
(isSubDomain): Rework.
* interp/c-util.boot (isSubset): Rework.
* interp/g-opt.boot (optEQ): Remove.
* interp/g-cndata.boot (getImmediateSuperDomain): Remove.
(maximalSuperType): Move to g-util.boot.
* interp/types.boot (%Constructor): New type specifier.
(%Instantiation): Likewise.
* interp/compiler.boot (primitiveType): Don't return $NegativeInteger.
(maxSuperType): Remove.
(hasType): Use maximalSuperType.
(satisfies): New.
(coerceSubset): Use it. Simplify.
* interp/wi2.boot (smallIntegerStep): Use maximalSuperType.
* interp/sys-constants.boot ($AtVariables): New.
($NegativeInteger): Remove.
($NonPositiveInteger): Likewise.
($CategoryNames): Category is not a category.
* interp/property.lisp: Remove Subsets property settings.
* interp/i-coerce.boot (coerceSubDomain): Simplify.
(coerceImmediateSubDomain): Remove.
(getSubDomainPredicate): Simplify.
* interp/category.boot (SourceLevelSubset): Use isSubDomain.
(MachineLevelSubset): Likewise.
* interp/modemap.boot (mergeModemap): Likewise.
(isSuperDomain): Remove.
(augModemapsFromDomain): Support parameterized subdomains.
* interp/i-util.boot (isSubDomain): Move to g-util.boot.
* Makefile.pamphlet (all-databases): New target.
* interp/Makefile.pamphlet ($(AXIOMSYS)): Push
:open-axiom-algebra-system onto *FEATURES*.
* etc/Makefile.in (all-databases): New target.
|
|
* interp/sys-driver.boot (initializeGlobalState): Set
$compileDefaultsOnly.
* interp/lisplib.boot (isFunctor): Load exports file if present.
* interp/define.boot (compDefineCategory2): Don't write out
category load time stuff if we are compiling only defaults.
* interp/boot-pkg.lisp: Import loadFileIfPresent.
* lisp/core.lisp.in (|loadFileIfPresent|): New.
(|loadIfPresent|): Use it.
|
|
* interp/sys-driver.boot (initializeGlobalState): Set
$compileExportsOnly.
* interp/lisplib.boot (compDefineExports): New.
* interp/define.boot (skipCategoryPackage?): New.
(compDefineCategory1): Use it.
(compDefineFunctor): Don't compile to NRLIB if interested only in
exports.
(compDefineFunctor1): Honor $compileExportsOnly.
* interp/sys-macros.lisp (|withOutputFile|): New.
* interp/sys-utility.boot (quoteForm): Likewise.
|
|
(extra-runtime-libs): Tidy.
* lisp/Makefile.in (edit): stringify $(oa_c_runtime_extra) elements.
|
|
(parseOption): Use it.
|
|
and `buffer'.
* lisp/Makefile.in (pointer_type): Remove.
(edit): Tidy.
* boot/ast.boot (nativeType): Tidy. Handle `pointer' and `buffer'
here.
* boot/translator.boot (genImportDeclaration): Tidy.
|
|
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.
|