Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* include/diagnostics.H: Likewise.
* include/storage.H: Move from utils/.
|
|
(CommutativeOperation): Likewise.
* algebra/Makefile.am (oa_algebra_layer_0): Include them.
|
|
|
|
|
|
|
|
|
|
|
|
(pilePlusComments): Likewise.
(pileTree): Likewise.
(eqpileTree): Likewise.
|
|
|
|
|
|
* config/open-axiom.m4 (OPENAXIOM_CHECK_DELAYED_FFI): New.
(OPENAXIOM_HOST_COMPILERS): Call it.
src/
* lisp/core.lisp.in (primitiveLoad): New. Export.
($delayedFFI): Likewise.
* lisp/Makefile.in (oa_delay_ffi): New.
(edit): Update.
* interp/sys-utility.boot: import sys-constants instead of sys-os.
* interp/sys-driver.boot (%sysInit): Do not loadSystemRuntimeCore.
(loadDelayedFFI): New.
(executeSpadScript): Call it.
(compileSpadLibrary): Likewise.
(buildInitdbHandler): Likewise.
(systemMain): Likewise.
* interp/util.lisp (BUILD-INTERPSYS): Likewise.
* interp/Makefile.in (oa_target_moddir): New.
(OA_FFI_MOD): Likewise.
(OA_FFI_OBJ): Define conditionally.
(OBJS): Use it.
($(oa_target_delayed)): New rule.
(oa_target_delayed): New.
(oa_target_ffi): Define conditionally.
(${SAVESYS}): Require it.
(${AXIOMSYS}): Likewise.
(sys-utility.$(FASLEXT)): Now require sys-constants.$(FASLEXT).
|
|
* boot/parser.boot (bpTypeName): Split out of bpTypeAliasDefinition.
(bpStruct): Use it. Support parameterized structures.
* boot/ast.boot (ctorName): New.
(bfEnum): Use it for parameterized enums.
(bfRecord): Use it for parameterized records.
|
|
|
|
* config/aclocal.m4: Move to toplevel.
* config/libtool.m4: Remove.
* config/ltoptions.m4: Likewise.
* config/ltversion.m4: Likewise.
* config/lt~obsolete.m4: Likewise.
* config/open-axiom.m4 (OPENAXIOM_ALIGNMENT_OPERATOR): Use
AC_LANG_SOURCE to generate test program.
(OPENAXIOM_ALIGNAS_SPECIFIER): Likewise.
|
|
|
|
* interp/database.boot (printInitdbInfo): New.
(printAllInitdbInfo): Likewise.
* interp/sys-driver.boot (initializeDatabases): Exit early if
constructing initial DB profile.
(buildInitdbHandler): New. Handle --build-initdb.
* utils/command.cc (driver_table): Add map for --build-initdb.
|
|
(initializeGlobalState): Use it.
* interp/spad-parser.boot (parseSpadFile): Tidy.
* interp/g-cndata.boot (installConstructor): Exit early it global
table not initialized.
* interp/database.boot (makeInitialDB): New.
(populateDBFromFile): Likewise.
* interp/daase.lisp: Introduce more DB accessors.
* interp/br-util.boot (dbSourceFile): Remove.
* interp/br-con.boot (kdPageInfo): Use
getConstructorSourceFileFromDB instead of dbSourceFile.
(kPage): Likewise.
* algebra/Makefile.in (SPADFILES): Include domain.spad
|
|
|
|
|
|
|
|
* Makefile.in: Regenerate.
|
|
|
|
|
|
|
|
* Makefile.in: Generate from Makefile.am.
* config/aclocal.m4: Regenerate.
|
|
|
|
* INSTALL: Update instructions.
* Makefile.pamphlet: Remove rules for building noweb.
(AXIOM_SRC_TARGETS): Include all-utils.
* config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for
notangle and noweave.
* config/setup-dep.mk: Remove rules for generating document.
* config/var-def.mk: Remove NOTANGLE and NOWEAVE variables.
* configure.ac: Instantiate Makefile for src/utils.
|
|
(OPENAXIOM_CHECK_GCL_INCLUSION): Likewise.
(OPENAXIOM_LISP_FLAVOR): Likewise.
(OPENAXIOM_HOST_COMPILERS): Likewise.
(OPENAXIOM_PROG_LISP): Honor --enable-gcl properly.
* Makefile.pamphlet (all-src): Rename axiom_all_prerequisites to
oa_all_prerequisites.
|
|
|
|
|
|
|
|
libraries.
* config: Update autotools to newer versions.
src/
* algebra/kl.spad.pamphlet (MakeCachableSet): Remove.
* algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it.
|
|
* 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.
|
|
* algebra/strap: Update cached Lisp translation.
|
|
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.
|
|
|
|
|
|
|
|
|
|
* configure.ac.pamphlet: For mingw host, default $prefix to
C:/Program Files/OpenAxiom.
Don't instantiate src/script/axiom.
Instantiate src/driver/Makefile. Tidy.
* Makefile.pamphlet: Tidy.
* config/axiom-c-macros.h.in: Update.
src/
2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>
* scripts/axiom.in: Remove.
* driver: New directory.
* driver/main.c: New. Now implement driver as native
application.
|
|
|
|
* Makefile.pamphlet: Remove all-depsys rule.
src/
2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet: Remove all-depsys rule.
(all-interpsys): Now depend on all-boot.
src/interp/
2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>
Remove depsys from OpenAxiom.
* Makefile.pamphlet: Remove references to depsys.
* macros.lisp (BRIGHPRINT): Remove.
(BRIGHPRINT-0): Likewise.
* util.lisp (build-depsys): Likewise.
(processSynonyms): Likewise.
|