diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-08-16 23:40:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-08-16 23:40:29 +0000 |
| commit | 6499807eec35fdedd84e4ee8ca4625c018652975 (patch) | |
| tree | e726b988709d6f13f8455ed81ec327b8c278493e /Makefile.in | |
| parent | 0c807cce60341e98126b4d834e6fbda97b216af6 (diff) | |
| download | open-axiom-6499807eec35fdedd84e4ee8ca4625c018652975.tar.gz | |
* configure.ac.pamphlet: Don't error out if noweb source files
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.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index e03689be..33990568 100644 --- a/Makefile.in +++ b/Makefile.in @@ -40,6 +40,33 @@ stamp-rootdirs: $(axiom_build_document) @$(STAMP) stamp-rootdirs +.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 .PHONY: all-gcl all-gcl: $(axiom_build_bindir)/gcl$(EXEEXT) @@ -62,6 +89,7 @@ mostlyclean-local: @-rm -f lastBuildDate clean-local: mostlyclean-local + @rm -fr $(axiom_build_nowebdir) @ rm -f stamp-* @ rm -rf int |