aboutsummaryrefslogtreecommitdiff
path: root/src/utils
AgeCommit message (Collapse)AuthorFilesLines
2010-08-26 * utils/Makefile.in: Install libOpenAxiom.ados-reis1-1/+7
* 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.
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis9-15/+39
and sed. * config/var-def.mk (oa_target_includedir): New.
2010-08-24 Implement an s-expression C++ library.dos-reis9-12/+1563
* 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
2010-08-21 External tool noweb is no longer required.dos-reis4-0/+753
* 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.