aboutsummaryrefslogtreecommitdiff
path: root/src/Makefile.in
blob: a50866c884fe3ba74bebc57c7d73a682c2631335 (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
76
77
78
79
80
81
82
83
pamphlets = Makefile.pamphlet

subdir = src/

SUBDIRS = @axiom_src_subdirs@

.PHONY: all all-ax all-src all-clef all-sman all-driver all-utils

all: all-ax

all-ax all-src: stamp
	@echo finished $(builddir)

stamp: @axiom_src_all@ all-driver
	-rm -f stamp
	$(STAMP) stamp

all-driver: all-lib
	@cd driver && $(MAKE) $@

all-utils:
	@cd utils && $(MAKE) $@

all-clef: all-lib
	@$(mkdir_p) "$(axiom_target_bindir)"
	cd clef && $(MAKE) $@
all-sman: all-lib all-driver
	$(mkdir_p) "$(axiom_target_bindir)"
	$(mkdir_p) "$(axiom_target_libdir)"
	cd sman && $(MAKE) $@
all-hyper: all-lib
	$(mkdir_p) "$(axiom_target_bindir)"
	$(mkdir_p) "$(axiom_target_datadir)"
	cd hyper && $(MAKE) $@
all-share:
	$(mkdir_p) "$(axiom_target_libdir)"
	cd share && $(MAKE) $@
all-doc:
	$(mkdir_p) "$(axiom_target_docdir)"/help && cd doc && $(MAKE) $@
all-lib:
	@cd lib && $(MAKE) $@
all-lisp: all-lib
	cd lisp && $(MAKE) all-lisp
all-boot: all-lisp
	@cd boot && $(MAKE) $@
all-interpsys: all-boot all-hyper-pre all-utils
	cd interp && ${MAKE} all-interpsys

all-axiomsys: all-asq
	cd interp && $(MAKE) all-axiomsys
all-algebra: all-interpsys all-share all-hyper-pre
	@ $(mkdir_p) algebra/strap
	cd algebra && $(MAKE) $@

all-hyper-pre: all-lib
	cd hyper && $(MAKE) all-hyper-pre
all-input: all-axiomsys all-doc
	cd input && ${MAKE}
all-asq: all-hyper-post all-utils
	cd etc && $(MAKE) $@

.PHONY: all-databases
all-databases:  all-interpsys all-doc
	cd etc && $(MAKE) $@

all-hyper-post: all-algebra  all-doc
	cd hyper && $(MAKE) all-hyper-post
all-graph: all-lib
	cd graph && $(MAKE) $@

.PHONY: all-check
all-check:
	cd input && $(MAKE) all-check

mostlyclean-local:
	-rm -f stamp

clean-local: mostlyclean-local

distclean-local: clean-local

install: