From ef6d755c944ef5af40c909c6683a3691dc9f6a57 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 21 Aug 2010 03:07:54 +0000 Subject: External tool noweb is no longer required. * 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. --- TODO | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'TODO') diff --git a/TODO b/TODO index 05e9f0b0..fd4145fb 100644 --- a/TODO +++ b/TODO @@ -21,8 +21,6 @@ * Better support on Windows platform (MinGW/MSYS) * Modernize algebras * Better documentations -* Find better documentation tools and formats that do not get in - the way of building the system on more platforms. * Interfaces to mainstream programming languages * Improve Boot, Spad * Integrate to development environments @@ -58,6 +56,13 @@ === DONE === ============ +* Remove dependency on noweb. + +* The installed system no longer requires AWK. + +* Find better documentation tools and formats that do not get in + the way of building the system on more platforms. + * FFI support for Spad * Revisit the underlying definition of the types DFlo in foam -- cgit v1.2.3