blob: 9c2bb2c479c80f44558d5162f2d56b4774c79e4e (
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
|
ROOTDIR = ../../..
include $(ROOTDIR)/Makefile.common
LD_PATH = $(ROOTDIR)/otherlibs/str $(ROOTDIR)/otherlibs/unix
TOOLS = ../../tools
CAMLLATEX = $(OCAMLRUN) $(addprefix -I ,$(LD_PATH)) \
$(ROOTDIR)/tools/ocamltex -repo-root $(ROOTDIR) -n 80 -v false
TEXQUOTE = $(OCAMLRUN) $(TOOLS)/texquote2
TRANSF = $(OCAMLRUN) $(TOOLS)/transf
FILES = coreexamples.tex lablexamples.tex polyvariant.tex objectexamples.tex \
gadtexamples.tex moduleexamples.tex advexamples.tex polymorphism.tex \
parallelism.tex memorymodel.tex
etex-files: $(FILES)
all: $(FILES)
%.gen.tex: %.etex
$(CAMLLATEX) $< -o $@
%.tex: %.gen.tex
$(TEXQUOTE) < $< > $*.texquote_error.tex
mv $*.texquote_error.tex $@
.PHONY: clean
clean:
rm -f *.tex
.PHONY: distclean
distclean: clean
|
