Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2007-08-22 | 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 1 | -0/+5 | |
* Makefile.pamphlet (check): New rule. * Makefile.in: Regenerate. src/ 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-check): New rule. * Makefile.in: Regenerate. sr/input 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-ax all-input): Remove regress. (${OUT}/%.input): Don't be overly verbose. (%.input): Likewise. (%.as): Likewise. (use): Remove, as it is empty (regress): Likewise. (bug): Likewise. (document): Likewise. (all-check): New rule. Launch testing. * Makefile.in: Regenerate. | |||||
2007-08-16 | * configure.ac.pamphlet: Don't error out if noweb source files | dos-reis | 1 | -0/+28 | |
are present when no executable is available. * configure.ac.: Regenerate. * configure: Likewise. * config/var-def.mk (axiom_build_nowebdir): Resurect. * Makefile.pamphlet (<<noweb>>): Resurect. (clean-local): Remove noweb build dir too. * Makefile.in: Regenerate. | |||||
2007-08-14 | (no commit message) | dos-reis | 1 | -29/+5 | |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+99 | |