Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
(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.
|
|
* 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.
|
|
notangle.
($(addprefix $(axiom_build_bindir)/, notangle noweave)): Touch
shell scripts too.
* Makefile.in: Regenerate.
|
|
* configure.ac.pamphlet (<<find lisp>>): Keep gcl directory test
simple.
* Makefile.pamphlet (maybe-cp-noweb-srcdir): New rule. Factored
from the rule below.
($(addprefix $(axiom_build_bindir)/, notangle noweave)): Make it a
prerequisite.
* config/var-def.mk (WEAVE): Export.
(WEAVE): Likewise.
src/scripts/
2007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
* document.in (TANGLE): New environment variable. Use in place
nacked notangle.
(WEAVE): New environment variable. Use in place of noweave.
|
|
variable. it is no longer needed.
* Makefile.in: Regenerate.
|
|
noweave)): Fix path to noweb C files. Refer to the touch command
through $(TOUCH).
* Makefile.in: Regenerate.
|
|
* Makefile.pamphlet (check): New rule.
* Makefile.in: Regenerate.
src/
2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (all-check): New rule.
* Makefile.in: Regenerate.
sr/input
2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (all-ax all-input): Remove regress.
(${OUT}/%.input): Don't be overly verbose.
(%.input): Likewise.
(%.as): Likewise.
(use): Remove, as it is empty
(regress): Likewise.
(bug): Likewise.
(document): Likewise.
(all-check): New rule. Launch testing.
* Makefile.in: Regenerate.
|
|
are present when no executable is available.
* configure.ac.: Regenerate.
* configure: Likewise.
* config/var-def.mk (axiom_build_nowebdir): Resurect.
* Makefile.pamphlet (<<noweb>>): Resurect.
(clean-local): Remove noweb build dir too.
* Makefile.in: Regenerate.
|
|
|
|
|