aboutsummaryrefslogtreecommitdiff
path: root/Makefile.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+22
* configure.ac.pamphlet (<<find lisp>>): Keep gcl directory test simple. * Makefile.pamphlet (maybe-cp-noweb-srcdir): New rule. Factored from the rule below. ($(addprefix $(axiom_build_bindir)/, notangle noweave)): Make it a prerequisite. * config/var-def.mk (WEAVE): Export. (WEAVE): Likewise. src/scripts/ 2007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu> * document.in (TANGLE): New environment variable. Use in place nacked notangle. (WEAVE): New environment variable. Use in place of noweave.
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/+40
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-191/+34
2007-08-14Initial population.dos-reis1-0/+837