1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
## ----------------------------------------
## -- Old-style OpenAxiom makefile variables --
## ----------------------------------------
GCLOPTS=@GCLOPTS@
pamphlets = configure.ac.pamphlet Makefile.pamphlet
subdir =
SUBDIRS = src
build_srcdir = $(builddir)/src
AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-book all-boot \
all-clef all-doc all-graph all-hyper all-input all-interpsys \
all-lib all-lisp all-sman all-src all-depsys
.PHONY: all $(AXIOM_SRC_TARGETS)
all: all-ax
all-ax: all-src
@echo finished system build on `date` | tee >lastBuildDate
all-src: stamp-rootdirs @axiom_all_prerequisites@
ifeq ($(strip $(axiom_include_gcl)),yes)
all-boot all-lisp all-depsys all-interpsys all-axiomsys \
all-algebra all-input: all-gcl
endif
$(AXIOM_SRC_TARGETS):
cd $(build_srcdir) && $(MAKE) $@
stamp-rootdirs: $(axiom_build_document)
@mkdir -p ${TMP}
@$(STAMP) stamp-rootdirs
.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.
$(mkinstalldirs) $(axiom_build_bindir)
$(mkinstalldirs) $(axiom_build_libdir)
$(mkinstalldirs) $(axiom_build_texdir)
$(mkinstalldirs) $(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
.PHONY: all-gcl
all-gcl: $(axiom_build_bindir)/gcl$(EXEEXT)
$(axiom_build_bindir)/gcl$(EXEEXT):
if test "$(srcdir)" != "$(builddir)" -a ! -d gcl; then \
cp -r $(srcdir)/gcl $(builddir); \
fi; cd gcl; \
./configure --prefix=$(axiom_abs_builddir) ${GCLOPTS} && \
$(MAKE) && $(MAKE) install
install:
@echo Installing OpenAxiom in $(prefix)
@$(mkinstalldirs) $(DESTDIR)$(open_axiom_installdir)
cp -pr $(builddir)/$(target)/* $(DESTDIR)$(open_axiom_installdir)
rm -f $(bindir)/axiom
@$(mkinstalldirs) $(bindir)
$(INSTALL_PROGRAM) src/scripts/axiom $(bindir)
@echo OpenAxiom installation finished.
.PHONY: check
check:
cd src && $(MAKE) all-check
mostlyclean-local:
@-rm -f lastBuildDate
clean-local: mostlyclean-local
@rm -fr $(axiom_build_nowebdir)
@ rm -f stamp-*
@ rm -rf int
distclean-local: clean-local
@-rm -rf build
@-rm -rf $(axiom_targetdir)
@-rm -f config.status config.log
@-rm -f Makefile
$(top_builddir)/config.status: $(top_srcdir)/configure
$(SHELL) ./config.status --recheck
|
