[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Toplevel Makefile.dvi
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Toplevel Makefile.dvi |
Date: |
05 Aug 2006 14:26:47 +0200 |
Hi Tim,
The toplevel Makefile.dvi gets copied in the installation directory
twice:
* once at part of
all: noweb ${MNT}/${SYS}/bin/Makefile.pamphlet
@ echo 1 making a ${SYS} system, PART=${PART}
SUBPART=${SUBPART}
@ echo 2 Environment ${ENV}
@ ${TANGLE} -t8 -RMakefile.${SYS} Makefile.pamphlet
>Makefile.${SYS}
@ ${DOCUMENT} Makefile
@ mkdir -p ${MNT}/${SYS}/doc/src
@ cp Makefile.dvi ${MNT}/${SYS}/doc/src/root.Makefile.dvi
@ ${ENV} $(MAKE) -f Makefile.${SYS}
@echo 3 finished system build on `date` | tee >lastBuildDate
* a second time, right after "making" the lsp directory
<<LSPMakefile>>=
${LSP}/Makefile: ${LSP}/Makefile.pamphlet
@echo 20 making ${LSP}/Makefile from ${LSP}/Makefile.pamphlet
@( cd lsp ; \
${DOCUMENT} ${NOISE} Makefile ; \
if [ "${GCLVERSION}" != "gcl-2.4.1" ] ; then \
${TANGLE} -t8 -R"${GCLVERSION}" Makefile.pamphlet >Makefile ; \
fi )
@cp Makefile.dvi ${MNT}/${SYS}/doc/src
Isn't that a bug?
-- Gaby
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Toplevel Makefile.dvi,
Gabriel Dos Reis <=