aboutsummaryrefslogtreecommitdiff
path: root/Makefile.in
AgeCommit message (Collapse)AuthorFilesLines
2007-08-26 * Makefile.pamphlet ($(AXIOM_SRC_TARGETS)): Don't augment the PATHdos-reis1-2/+1
variable. it is no longer needed. * Makefile.in: Regenerate.
2007-08-24 * Makefile.pamphlet ($(addprefix $(axiom_build_bindir)/, notangledos-reis1-1/+2
noweave)): Fix path to noweb C files. Refer to the touch command through $(TOUCH). * Makefile.in: Regenerate.
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-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 filesdos-reis1-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-reis1-29/+5
2007-08-14Initial population.dos-reis1-0/+99
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 05:20:10 +0000