aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+4
* 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.
2009-01-01 Rotate ChangeLog files.dos-reis1-161/+0
2008-11-01 * configure.ac.pamphlet (axiom_use_sman): Fix typo.dos-reis1-0/+4
2008-11-01 * sman/sman.c (ptsPath): Remove.dos-reis1-0/+6
* sman/Makefile.in: Add additional C runtimes for link. * lib/openpty.c: Include <pty.h> and <util.h> where available. (ptyopen): Lose third parameter. Tidy. (makeNextPtyNames): Now static. * clef/edible.c (controllerPath): Remove. Adjust call to ptyopen. * clef/Makefile.in (clef_LDADD): Add extra C runtimes.
2008-10-27 * configure.ac.pamphlet: Look for path to `awk'.dos-reis1-0/+5
Instantiate src/hyper/presea.
2008-09-13 * lisp/core.lisp.in (|$NativeTypeTable|): Don' include `pointer'dos-reis1-0/+5
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.
2008-08-22(no commit message)dos-reis1-0/+4
2008-08-202008-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+4
* 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.
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis1-0/+5
algebra bootstrap domains here.
2008-08-15 * configure.ac.pamphlet (oa_standard_linking): New. AC-substitute.dos-reis1-0/+4
2008-08-13 * lisp/core.lisp.in (LINKSET-FROM): New.dos-reis1-0/+4
(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.
2008-08-07 * lisp/core.lisp.in (boot-completed-p): New.dos-reis1-0/+6
(|$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.
2008-08-07 * configure.ac.pamphlet: Add 'debug' to Lisp optimize proclamationdos-reis1-0/+5
when --enable-checking.
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis1-0/+5
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.
2008-05-22 * configure.ac.pamphlet: Don't key all of HyperTex on X11.dos-reis1-0/+4
2008-04-28 * configure.ac.pamphlet: Check from uint8_t.dos-reis1-0/+7
* config/openaxiom-c-macros.h.in: Rename from config/axiom-c-macros.h.in. * src: Propagate change.
2008-04-23 * boot/ast.boot: Tidy.dos-reis1-0/+5
* 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.
2008-04-05 * configure.ac.pamphlet [mingw] (oa_shrlib_flags): Ensuredos-reis1-0/+5
the compiler appreciates we want dynamic link.
2008-04-05 * configure.ac.pamphlet (oa_shrlib_flags): Tidy.dos-reis1-0/+8
(oa_shrobj_flags): Likewise. * config/var-def.mk (LINK_SHRLIB): Tidy. * INSTALL: Update. * TODO: Likewise.
2008-04-05 * configure.ac.pamphlet: When using CLisp, ensure FFI is supported.dos-reis1-0/+4
2008-04-04 * configure.ac.pamphlet: Disable Libtool for building shareddos-reis1-0/+7
libraries on MinGW and Cygwin. * config/var-def.mk (SHREXT): Tidy. (LINK_SHRLIB): New.
2008-04-01 * configure.ac.pamphlet: Automatically detect SBCL or Clisp.dos-reis1-0/+5
check for BFD only if we're building custom GCL.
2008-03-26Fix shared linking regressiondos-reis1-0/+7
2008-03-24Add support for SBCL and CLispdos-reis1-0/+5
2008-03-17 * lib/cfuns-c.c (oa_chdir): Define.dos-reis1-0/+5
(is_dot_or_dotdot): New. (oa_unlink): Define. (oa_rename): Likewise. (oa_mkdir): Likewise. * interp/sys-os.boot: New file. * interp/util.lisp (MAKE-TAGS-FILE): Use changeDirectory. (MAKELIB): Likewise. (MAKESPAD): Likewise. (LIBCHECK): Likewise. * interp/sys-utility.boot ($ERASE): Define here. Use removeFile. ($REPLACE): Likewise. (checkMkdir): Define. * interp/obey.lisp (MAKEDIR): Remove definition. * interp/nlib.lisp (RDEFIOSTREAM): Use checkMkdir. (MAKEDIR): Remove. (RPACKFILE): Use removeFile. ($ERASE): Remove Lisp definition. ($REPLACE): Likewise. * interp/i-syscmd.boot (cd): Use changeDirectory. (compileAsharpArchiveCmd): Use mkdir. (histFileErase): Likewise. * interp/fortcall.boot (fortCall): Use removeFile. (invokeNagman): Likewise. * interp/daase.lisp (|library|): Use changeDirectory. (LOCALDATABASE): Likewise. (DaaseName): Use removeFile. * interp/construc.lisp (mergelibs): Use removeFile. (mergeall): Use changeDirectory. * interp/c-doc.boot (docreport): Use removeFile. * interp/br-search.boot (getTempPath): Likewise. * interp/br-saturn.boot (dbSort): Likewise. * interp/br-data.boot (buildLibdb): Likewise (dbSplitLibdb): Likewise. (buildGloss): Likewise. (purgeLocalLibdb): Likewise. * interp/as.boot (asList): Likewise. * interp/Makefile.pamphlet (OBJS): Include sys-os.$(FASLEXT). (sys-os.$(FASLEXT)): New rule. (sys-utility.$(FASLEXT)): Require sys-os.$(FASLEXT). * include/cfuns.h (oa_chdir): Declare. (oa_unlink): Likewise. (oa_rename): Likewise. (oad_mkdir): Likewise.
2008-03-16 * lisp/Makefile.in (void_type): New.dos-reis1-0/+4
(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.
2008-03-16 * lib/Makefile.in ($(axiom_target_libdir)/libopen-axiom-core.$(DLLEXT)): Tidy.dos-reis1-0/+5
($(axiom_target_libdir)/libspad.la): Likewise.
2008-03-15 * configure.ac.pamphlet (axiom_c_runtime): Don't include core, asdos-reis1-0/+5
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.
2008-02-18 * Makefile.pamphlet (install): Tidy.dos-reis1-0/+4
2008-02-14Update release informationdos-reis1-0/+4
2008-02-10Add support for batch processing.dos-reis1-0/+7
2008-01-21 * config/var-def.mk (LDF): Include -lm.dos-reis1-0/+4
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+9
* 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.
2008-01-01Annual ChangeLog rotation.dos-reis1-1329/+0
2007-12-28Don't generate Makefile.in automatically.dos-reis1-0/+3
2007-12-27Remove src/bookletsdos-reis1-0/+4
2007-12-27Remove more Makefile pamphletsdos-reis1-0/+1
2007-12-27Don't use pamphlet for src/lisp/Makefiledos-reis1-0/+4
2007-12-012007-11-30 Ralf Hemmecke <ralf@hemmecke.de>dos-reis1-0/+4
* configure.ac.pamphlet: Fix a thinko in checking for makeindex.
2007-11-262007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+4
* 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.
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+11
* 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.
2007-09-24 * config/setup-dep.mk ($(top_builddir)/libtool): Regenerate whendos-reis1-0/+5
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-13Fix bug when restarting HyperDocalfredoport1-1/+1
2007-09-10 * Makefile.pamphlet (all-noweb): Depend only on one target,dos-reis1-0/+8
notangle. ($(addprefix $(axiom_build_bindir)/, notangle noweave)): Touch shell scripts too. * Makefile.in: Regenerate.
2007-09-08 * configure.ac.pamphlet: Fix thinko.dos-reis1-0/+6
* config/var-def.mk (SYS): Remove. (AX_FLAGS): Likewise. src/interp/ * Makefile.pamphlet (makeint.lisp): Don't print SYS, LISP, BYE. (DEBUGSYS): Remove. (all-debugsys): Likewise. (<<debugsys.lisp>>): Likewise. * debugsys.lisp.pamphlet: Remove.
2007-09-08 * configure.ac.pamphlet (axiom_optimize_options): New substitueddos-reis1-0/+9
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.
2007-09-04 * configure.ac.pamphlet: Ignore any existing GCL that is notdos-reis1-0/+7
either 2.6.7 or 2.6.8. * configure.ac: Regenerate. * configure: Likewise.
2007-09-04 * config/setup-dep.mk ($(top_srcdir)/configure.ac): Robustifydos-reis1-0/+6
regeneration from pamphlet. ($(srcdir)/Makefile.in): Likewise.
2007-09-04 * configure.ac.pamphlet: Disable HyperDoc if X11 is not available.dos-reis1-0/+6
* configure.ac: Regenerate. * configure: Likewise.
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+11
* 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.