Age | Commit message (Collapse) | Author | Files | Lines |
|
(libOpenAxiom_SOURCES): Include vm.cc
* utils/vm.cc: New.
* utils/vm.H: Likwise.
|
|
* include/open-axiom.h (Filesystem): New.
* gui/debate.cc (Debate::Debate): Initialize fs data member.
* gui/debate.h (Debate): Declare it.
|
|
|
|
|
|
* utils/storage.cc: Likewise.
|
|
|
|
directory if necessary.
* utils/storage.H (Memory::Factory): New. Allocate, construct,
and destroy objects.
* utils/sexpr.H (Sexpr::Allocator): Use Memory::Factory.
* utils/sexpr.cc: Adjust implementation.
|
|
* driver/main.c (print_configuration_info): New.
(main): Handle --config.
* driver/utils.c (openaxiom_build_rts_options): Likewise.
* driver/utils.h (openaxiom_config_driver): New driver enumerator.
|
|
and sed.
* config/var-def.mk (oa_target_includedir): New.
|
|
* 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.
|