diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-08-22 03:05:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-08-22 03:05:44 +0000 |
| commit | 6099e0cd6b5efe27e04a5fd163601987bdc4284c (patch) | |
| tree | 9f85dad994ed5588204b0f0715e96141ad3b93de /src/input/Makefile.pamphlet | |
| parent | 1a144a3e11fe8696c187bd2b619893e4d2a0a32e (diff) | |
| download | open-axiom-6099e0cd6b5efe27e04a5fd163601987bdc4284c.tar.gz | |
2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>
* 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.
Diffstat (limited to 'src/input/Makefile.pamphlet')
| -rw-r--r-- | src/input/Makefile.pamphlet | 29 |
1 files changed, 3 insertions, 26 deletions
diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet index cb8129e0..7e5b4860 100644 --- a/src/input/Makefile.pamphlet +++ b/src/input/Makefile.pamphlet @@ -16,12 +16,6 @@ \eject \section{Introduction} -This creates the mnt/sys/input subdirectory. The files are known -as ``input'' files which are a list of Axiom commands. Each file -(say ``foo.input'') can run in an Axiom system with the command: -\begin{verbatim} -)read foo.input -\end{verbatim} Each of the files in this subdirectory is intended to achieve a three goals. First, the file shows examples of how to use Axiom @@ -58,21 +52,17 @@ regress target. <<genericRules>>= ${OUT}/%.input: %.input - @ echo generic 10 making $@ from $< @ $(INSTALL) $< $@ .PRECIOUS: %.input %.input: ${IN}/%.input.pamphlet - @ echo generic 11 making $@ from $< @$(axiom_build_document) --output=$@ --tangle $< ${OUT}/%.as: %.as - @echo generic 12 making $@ from $< @ $(INSTALL) $< $@ %.as: ${IN}/%.as.pamphlet - @echo generic 13 making $@ from $< @ $(axiom_build_document) --output=$@ --tangle $< pamphlets = \ @@ -124,7 +114,6 @@ all-ax all-input: echo aging ${OUT}/`basename $$i .rec`.out ; \ ${TOUCH} 0101010189 `basename $$i .rec`.out ;fi ;done) @ (cd ${OUT} ; ${MAKE} -f Makefile `echo *.out` ) -# @ (cd ${OUT} ; maildiff ) @ echo done and yet further stanzas @@ -367,8 +356,8 @@ OUTS= algaggr.output algbrbf.output algfacob.output alist.output \ # These files are tested in a different directory. ALGEBRA=INTHEORY.output VIEW2D.output TESTFR.output -.PHONY: regression-tests -regression-tests: ${OUTS} +.PHONY: all-check +all-check: ${OUTS} @ echo 1 finished ./$(top_builddir)/int/input %.output: %.input @@ -889,7 +878,7 @@ DOCFILES= \ all: all-ax -all-ax all-input: $(OUT) ${FILES} ${FILES2} ${ASFILES} regress +all-ax all-input: $(OUT) ${FILES} ${FILES2} ${ASFILES} @echo 1 finished $(srcdir) $(OUT): @@ -897,18 +886,6 @@ $(OUT): <<genericRules>> -use: - @echo 2 making ${OUT} from ${IN} - -regress: - ${MAKE} regression-tests - -bug: - @echo 4 making ${OUT} from ${IN} - -document: - @echo 5 documenting ${OUT} - mostlyclean-local: -rm -rf $(MID) -rm -rf $(OUT) |