diff options
Diffstat (limited to 'Makefile.pamphlet')
| -rw-r--r-- | Makefile.pamphlet | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 68629a00..80ecd2ba 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -341,6 +341,7 @@ $(AXIOM_SRC_TARGETS): <<rootdirs>> +<<noweb>> <<gcl>> <<install>> @@ -348,6 +349,7 @@ mostlyclean-local: @-rm -f lastBuildDate clean-local: mostlyclean-local + @rm -fr $(axiom_build_nowebdir) @ rm -f stamp-* @ rm -rf int @@ -507,6 +509,44 @@ $(axiom_build_bindir)/gcl$(EXEEXT): @ +\subsection{\Tool{noweb}} + +When \Tool{noweb} is not available from the build environment +and a \Tool{noweb} source files a present in a top level directory +named \File{noweb}, we use those source file to build the executable +necessary to extract codes and documentations. +% +<<noweb>>= +.PHONY: all-noweb +all-noweb: $(addprefix $(axiom_build_bindir)/, notangle noweave) + +$(addprefix $(axiom_build_bindir)/, notangle noweave): + $(mkinstalldirs) $(axiom_build_bindir) + $(mkinstalldirs) $(axiom_build_libdir) + $(mkinstalldirs) $(axiom_build_texdir) + $(mkinstalldirs) $(axiom_build_mandir) + if test "$(srcdir)" != "$(builddir)" -a ! -d noweb; then \ + cp -r $(srcdir)/noweb $(builddir); \ + fi; + cd noweb/src && \ + touch *.h *.c && \ + cat Makefile \ + | sed -e "s,^BIN=.*,BIN=$(axiom_abs_build_bindir)," \ + -e "s,^LIB=.*,LIB=$(axiom_abs_build_libdir)," \ + -e "s,^MAN=.*,MAN=$(axiom_abs_build_mandir)," \ + -e "s,^TEXINPUTS=.*,TEXINPUTS=$(axiom_abs_build_texdir)," \ + -e "s, make , $$\(MAKE\) ," \ + -e "s,c/nt,c/nt$(EXEEXT)," \ + -e "s,c/markup,c/markup$(EXEEXT)," \ + -e "s,c/mnt,c/mnt$(EXEEXT)," \ + -e "s,c/finduses,c/finduses$(EXEEXT)," \ + -e "s/-texhash.*/:/" \ + -e "s/ install-elisp//" \ + > Makefile.tmp && mv Makefile.tmp Makefile && \ + ./awkname $(AWK) && $(MAKE) all install +@ + + \subsection{install} <<install>>= install: |