diff options
Diffstat (limited to 'Makefile.pamphlet')
| -rw-r--r-- | Makefile.pamphlet | 70 |
1 files changed, 2 insertions, 68 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 110dd3a5..bb839772 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -246,10 +246,6 @@ intricate to describe. This description is STILL IN WORK IN PROGRESS. Therefore it is incorrekt, incomplet, and iNconSiStenT. -First of all \Tool{noweb} is needed to extract source codes from the -documentation. Almost everything depends on \Tool{noweb} --- the exception -being possible build of \Tool{GCL}. - Second, we need a Lisp runtime system. If one is available from the build environment, we are done. In fact, currently we do insist that the Lisp runtime system is \Tool{GCL}. @@ -322,7 +318,7 @@ build_srcdir = $(builddir)/src AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-boot all-share \ all-clef all-doc all-graph all-hyper all-input all-interpsys \ - all-lib all-lisp all-sman all-driver all-src all-databases + all-lib all-lisp all-sman all-driver all-src all-databases all-utils .PHONY: all $(AXIOM_SRC_TARGETS) all: all-ax @@ -347,7 +343,6 @@ all-algstrap: <<rootdirs>> -<<noweb>> <<gcl>> <<install>> @@ -360,7 +355,6 @@ mostlyclean-local: @-rm -f lastBuildDate clean-local: mostlyclean-local - @rm -fr "$(axiom_build_nowebdir)" @ rm -f stamp-* @ rm -rf int @@ -459,8 +453,7 @@ Note that the -p (parent) option to mkdir will make all intermediate directories as well if they don't exist. <<rootdirs>>= -stamp-rootdirs: $(axiom_build_document) - @mkdir -p "${TMP}" +stamp-rootdirs: @$(STAMP) stamp-rootdirs @ @@ -505,65 +498,6 @@ $(axiom_build_bindir)/gcl$(EXEEXT): $(MAKE) && $(MAKE) install @ - -\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: $(axiom_build_bindir)/notangle - -.PHONY: maybe-cp-noweb-srcdir -maybe-cp-noweb-srcdir: $(srcdir)/noweb - ## Even though out-of-source build is what we recommend, - ## noweb does not directly support that sort of build. - ## So we copy the source to the build directory. - ## We try to be nice to those who chose otherwise - ## to build directly from the OpenAxiom source dir. - if test "$(srcdir)" != "$(builddir)" -a ! -d noweb; then \ - cp -r "$(srcdir)"/noweb "$(builddir)"; \ - fi - -$(addprefix $(axiom_build_bindir)/, notangle noweave): maybe-cp-noweb-srcdir - ## Noweb would like to install many things even if we - ## are not interested in those. Prepare the ground. - $(mkdir_p) "$(axiom_build_bindir)" - $(mkdir_p) "$(axiom_build_libdir)" - $(mkdir_p) "$(axiom_build_texdir)" - $(mkdir_p) "$(axiom_build_mandir)" - $(TOUCH) $(addprefix noweb/src/shell/, \ - noweave notangle noweb noroff toroff) \ - $(wildcard "$(builddir)"/noweb/src/c/*.h) \ - $(wildcard "$(builddir)"/noweb/src/c/*.c) - ## noweb's Makefile needs editing before we can build to suit - ## our needs. In particular, we must say when helper programs go, - ## where the noweb style file goes, where the man pages go (even though - ## in this specific context, they are not needed). Finally, - ## noweb insists on running `texhash' after installation, which is - ## of no practical value for us in ths specific context. We must - ## convince it not to go there. - cd noweb/src && \ - 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>>= .PHONY: install |