Age | Commit message (Collapse) | Author | Files | Lines |
|
* utils/hash-table.H: New.
* utils/sexpr.H: Likewise.
* utils/sexpr.cc: Likewise.
* utils/string-pool.H: Likewise.
* utils/string-pool.cc: Likewise.
* utils/storage.H: Include openaxiom-c-macros.h
(Memory::Storage): New.
(Memory::Arena): Likewise.
* utils/storage.cc: Implement member functions of new class.
* utils/Makefile.in (libOpenAxiom_HEADERS): Include hash-table.H,
string-pool.H, and sexpr.H
(libOpenAxiom_SOURCES): Include string-pool.cc and sexpr.cc
|
|
* 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.
|
|
New. Abstract over vendor lock-ins CPP flags.
(OPENAXIOM_CHECK_MM): Check for file mapping capability.
|
|
|
|
|
|
(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.
|
|
over build tool requirements.
* configure.ac.pamphlet: Use it.
|
|
* configure.ac.pamphlet: Use it.
|
|
(LDFLAGS): Likewise.
(COMPILE): Include CPPFLAGS.
(CXXCOMPILE): Likewise.
(LINK): Include LDFLAGS.
(CXXLINK): Likewise.
(CXXLINK_SHRLIB): New.
* config/open-axiom.m4 (OPENAXIOM_HOST_DATA_PROPERTIES): Move
ABI flags setting to OPENAXIOM_HOST_COMPILERS. The CPPFLAGS and
LDFLAGS instead of CFLAGS and CXXFLAGS.
|
|
(OPENAXIOM_LISP_FLAVOR): Likewise.
(OPENAXIOM_HOST_COMPILERS): Likewise.
(OPENAXIOM_GCL_HACKS): Likewise.
(OPENAXIOM_SATISFY_GCL_NEEDS): Likewise.
(OPENAXIOM_LISP_FLAGS): Likewise.
(OPENAXIOM_FILE_EXTENSIONS): Likewise.
(OPENAXIOM_FFI_TYPE_TABLE): Likewise.
(OPENAXIOM_HOST_LISP_CPU_PRECISION): Likewise.
(OPENAXIOM_HOST_DATA_PROPERTIES): Likewise.
* configure.ac.pamphlet: Use them.
|
|
(OPENAXIOM_PROG_LISP): Likewise.
* configure.ac.pamphlet: Use them. Simplify.
|
|
* configure.ac.pamphlet: Use it.
|
|
(COMPILE): Likewise.
(CXXLINK): Likewise.
|
|
(COMPILE): Likewise.
|
|
* config/var-def.mk (CXXCOMPILE): New.
(CXXLINK): Likewise.
|
|
src/
* lisp/core.lisp.in ($FilesToRetain): New. Export.
* lisp/Makefile.in: Tidy.
* boot/translator.boot (retainFile?): New.
(compileBootHandler): Use it.
|
|
|
|
* lisp/core.lisp.in: Add support for Clozure CL.
(main): Remove as unused.
* driver/utils.h (openaxiom_runtime): Add openaxiom_clozure_runtime.
* boot/translator.boot (loadNativeModule): Handle Clozure CL.
* boot/ast.boot (nativeType): Handle Clozure's FFI types.
(nativeReturnType): Likewise.
(coerceToNativeType): Likewise.
(genCLOZUREnativeTranslation): New.
(genImportDeclaration): Use it.
* interp/vmlisp.lisp (SINTP): Remove duplicate definition.
(SMINTP): Likewise.
(ZERO?): Likewise.
(GCMSG): Reorganize definition.
(BPINAME): Likewise.
|
|
|
|
|
|
* share/Makefile.in (FILES): Update.
($(axiom_target_texdir)/open-axiom.sty): New rule.
* lib/cfuns-c.c (oa_spawn)[__WIN32__]: Return exit status if in
overlay mode.
* include/open-axiom.h (OPENAXIOM_TEXINPUTS_PATH): Tidy.
(OPENAXIOM_BIBINPUTS_PATH): Likewise.
* driver/utils.c (print_usage): Document --execute option.
|
|
|
|
* config/var-def.mk (PLF): Remove.
(LDF): Likewise.
(LISP): Likewise.
|
|
MACOSXplaform, and MSYSplatoform macros.
src/
* lib/XDither.c: Tidy.
* lib/XShade.c: Likewise.
* lib/XSpadFill.c: Likewise.
* lib/bsdsignal.c: Likewise.
* lib/edin.c: Likewise.
* lib/fnct_key.c: Likewise.
* lib/util.c: Likewise.
* lib/wct.c: Likewise.
|
|
Gabriel Dos Reis <gdr@cs.tamu.edu>
* configure.ac.pamphlet: Don't insist on GNU C compiler if we
don't use GCL. Check for nsl on Solaris boxes.
* config/var-def.mk (oa_c_libs): New.
src/
2009-09-16 Kosta Oikonomou <ko@research.att.com>
Gabriel Dos Reis <gdr@cs.tamu.edu>
* graph/viewAlone/Makefile.in (viewAlone_LDADD): Include
$(AXIOM_X11_LDFLAGS) and $(oa_c_libs).
* graph/viewman/Makefile.in (viewman_LDADD): Likewise.
* hyper/Makefile.in (htadd_LDADD): Likewise.
* sman/Makefile.in (session_LDADD): Include $(oa_c_libs).
(spadclient_LDADD): Likewise.
(sman_LDADD): Likewise.
|
|
|
|
OpenAxiom.
src/
Fix SF/2798962
* interp/c-doc.boot (checkDecorate): Don't insert formatting
braces in Spad mode.
|
|
* contrib/texmacs: New.
|
|
* configure.ac.pamphlet: Support --enable-profiling.
* config/var-def.mk (oa_yesno_to_lisp_boolean): New.
(oa_enable_profiling): Likewise.
(oa_enable_lisp_profiling): Likewise.
src/
* lisp/Makefile.in (edit): Substitute for oa_enable_profiling.
* lisp/core.lisp.in ($EnableLispProfiling): New.
(compileLispFile): Use it.
|
|
|
|
|
|
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.
|
|
* configure.ac.pamphlet: Recognize dragonfly triplet as BSD-flavour.
|
|
debug-build to work around ECL compiler bug.
|
|
* configure.ac.pamphlet: Check awk and nawk before gawk.
|
|
* configure.ac.pamphlet: Fix indention of CPP directives. Include
<sys/types.h> when testing for openpty.
src/ChangeLog
2009-02-19 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/sys-utility.boot (%hostByteOrder): Make a function.
* algebra/system.spad.pamphlet (hostByteOrder$System): Adjust call.
2009-02-19 Aleksej Saushev <asau@inbox.ru>
* lib/openpty.c: Include <sys/types.h> when testing for openpty.
|
|
<libutil.h> where available.
|
|
* interp/compat.boot (editFile): Tidy.
* interp/br-op2.boot (modemap2Sig): Don't update $badStack.xo
|
|
* algebra/data.spad.pamphlet (ByteOrder): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include BYTEORD.
|
|
|
|
(makeByteBuffer): Set fill pointer.
(connectToHostAndPort): Define here.
(readByteFromStreamSocket): Likewise.
(writeByteToStreamSocket): Likewise.
* interp/sys-os.boot (doConnectToHostAndPort): Rename from
connectot$NetworkClientSocket.
(doReadByteFromStreamSocket): Rename from readByteFromStreamSocket.
(doWriteByteToStreamSocket): Rename from writeByteToStreamSocket.
* algebra/net.spad.pamphlet: Use Maybe Byte.
* algebra/data.spad.pamphlet (ByteBuffer): Fix fill pointer thinko.
|
|
* 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.
|
|
|
|
|
|
* 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.
|
|
Instantiate src/hyper/presea.
|
|
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.
|
|
|
|
* 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.
|
|
algebra bootstrap domains here.
|