blob: 8c32a7bb25bce18c5d34cfd28a34770b05550387 (
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
|
# General makefile for Latex stuff
dvi: core.dvi
ps: core.ps
core.dvi: core.tex prims.tex
latex core.tex
latex core.tex
../../compiler/prelude/primops.txt: ../../compiler/prelude/primops.txt.pp
(cd ../../compiler/prelude; gcc -E -I../../includes -traditional -x c primops.txt.pp | /bin/sed -e '/^#/d' > primops.txt)
prims.tex: ../../compiler/prelude/primops.txt
../../utils/genprimopcode/genprimopcode --make-latex-doc < ../../compiler/prelude/primops.txt > prims.tex
######## General rules
.SUFFIXES:
.PRECIOUS: %.tex %.ps %.bbl
%.ps: %.dvi
dvips -f < $< > $@
clean:
$(RM) *.aux *.log
distclean: clean
$(RM) prims.tex *.dvi *.ps *.bbl *.blg *.gz
maintainer-clean: distclean
# dummy targets
all:
boot:
install:
install-docs:
html:
chm:
HxS:
# End of file
|
