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
|
################################################################
# Simple relaying Makefile. For details, please see src/Makefile.in
#
# See also ./configure
################################################################
BUILDARCH=@BUILDARCH@
CONFIG_OPTIONS=@CONFIG_OPTIONS@
.PHONY: lite world packages
all: @TARGET@
install: install-@TARGET@
################################################################
# Build just the single-threaded Prolog engine
################################################################
lite::
@cd $(BUILDARCH) && $(MAKE) all
install-lite::
@cd $(BUILDARCH) && $(MAKE) install
rpm-install::
@cd $(BUILDARCH) && $(MAKE) $@
check::
@cd $(BUILDARCH) && $(MAKE) $@
@if [ -f packages/Makefile ]; then \
cd packages && $(MAKE) $@; \
fi
doc::
@cd man && $(MAKE) all
@if [ -f packages/Makefile ]; then \
cd packages && $(MAKE) $@; \
fi
clean::
@cd $(BUILDARCH) && $(MAKE) $@
@if [ -f packages/Makefile ]; then \
cd packages && $(MAKE) clean; \
fi
distclean::
@if [ -f packages/Makefile ]; then \
cd packages && $(MAKE) distclean; \
fi
@if [ -f $(BUILDARCH)/Makefile ]; then \
cd $(BUILDARCH) && $(MAKE) $@; \
fi
rm -f configure.out make.out
rm -f Makefile
################################################################
# Build the whole default set of tools
################################################################
world: packages
ln-world: world
packages: lite
cd packages && ./configure $(CONFIG_OPTIONS)
cd packages && $(MAKE)
install-world::
cd $(BUILDARCH) && $(MAKE) install
cd packages && $(MAKE) install
@if [ -d man/Manual ]; then \
cd packages && $(MAKE) html-install; \
else \
echo "WARNING: No documentation. See README.doc"; \
fi
install-ln-world::
cd $(BUILDARCH) && $(MAKE) ln-install
cd packages && $(MAKE) ln-install
@if [ -d man/Manual ]; then \
cd packages && $(MAKE) html-install; \
else \
echo "WARNING: No documentation. See README.doc"; \
fi
|
