aboutsummaryrefslogtreecommitdiff
path: root/Makefile.in
blob: e03689be60c5b10047280719d435afaf094a0306 (plain)
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
## ----------------------------------------
## -- 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) "PATH=$(axiom_abs_build_bindir):$(PATH)" $@

stamp-rootdirs: $(axiom_build_document)
	@mkdir -p ${TMP}
	@$(STAMP) stamp-rootdirs


.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)
	@mkdir -p $(DESTDIR)$(libdir)/open-axiom
	@cp -pr $(builddir)/target $(DESTDIR)$(libdir)/open-axiom
	@ rm -f $(bindir)/axiom
	@ $(mkinstalldirs) $(bindir)
	@ $(INSTALL_PROGRAM) src/scripts/axiom $(bindir)
	@echo OpenAxiom installation finished.

mostlyclean-local:
	@-rm -f lastBuildDate

clean-local: mostlyclean-local
	@ 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