-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile.in
59 lines (49 loc) · 1.12 KB
/
Makefile.in
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
# Makefile for ML-Doc tools
#
# COPYRIGHT (c) 2022 John Reppy (https://www.cs.uchicago.edu/~jhr)
# All rights reserved.
#
# @configure_input@
#
SHELL = /bin/sh
PREFIX = @prefix@
CONFIGDIR = @top_srcdir@/config
SRCDIR = @top_srcdir@/tools
BINDIR = @MLDOC_BIN@
HEAPDIR = @HEAP_IMAGE_DIR@
EXT = @SMLNJ_HEAP_SUFFIX@
TARGETS = extract-sig \
extract-info \
filter-index \
html-gen \
html-index \
html-toc \
latex-gen \
merge-info \
mkdoc \
mk-mldoc-makefile \
proof-latex
# Missing: valid
build:
for dir in $(TARGETS); do \
(cd $(SRCDIR)/$$dir && $(MAKE) build) || exit $$?; \
done
install: build
for dir in $(TARGETS); do \
(cd $(SRCDIR)/$$dir && $(MAKE) install) || exit $$?; \
done
clean:
for dir in $(TARGETS); do \
(cd $(SRCDIR)/$$dir && $(MAKE) clean) || exit $$?; \
done
distclean:
for dir in $(TARGETS); do \
(cd $(SRCDIR)/$$dir && $(MAKE) distclean) || exit $$?; \
done
rm -rf Makefile
rm -rf bin/ml-build bin/install-sml-wrapper.sh bin/.heap
rm -rf tools/lib/config/std-options.sml
rm -rf config.cache config.log config.status
rm -rf autom4te.cache
devclean: distclean
rm -rf configure