blob: c46a77f2e722a4f9d5442150d22eae63c4a86f2c (
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
|
CFLAGS=-g -O
all: texquote2 transf htmlquote htmlgen dvi2txt caml-tex2
dvi2txt:
cd dvi_to_txt; ${MAKE}
transf: transf.cmo htmltransf.cmo transfmain.cmo
ocamlc -o transf -g transf.cmo htmltransf.cmo transfmain.cmo
transf.ml: transf.mll
ocamllex transf.mll
htmltransf.ml: htmltransf.mll
ocamllex htmltransf.mll
htmlgen: latexmacros.cmo latexscan.cmo latexmain.cmo
ocamlc -o htmlgen -g latexmacros.cmo latexscan.cmo latexmain.cmo
latexscan.ml: latexscan.mll
ocamllex latexscan.mll
caml-tex2: caml_tex2.cmo
ocamlc -o caml-tex2 str.cma unix.cma caml_tex2.cmo
# ocamlc -custom -o caml-tex2 str.cma unix.cma caml-tex2.cmo \
# -cclib -lunix -cclib -lstr
.SUFFIXES:
.SUFFIXES: .ml .cmo .mli .cmi .c
.ml.cmo:
ocamlc -c $<
.mli.cmi:
ocamlc -c $<
.c:
$(CC) $(CFLAGS) -o $@ $<
clean:
rm -f transf.ml latexscan.ml htmltransf.ml
rm -f texquote2 transf htmlquote htmlgen dvi2txt
rm -f transf.ml latex.ml
rm -f *.o *.cm? *.cmxa
rm -f *~ #*#
cd dvi_to_txt; ${MAKE} clean
latexmacros.cmo: latexmacros.cmi
latexmain.cmo: latexscan.cmo
latexscan.cmo: latexmacros.cmi
transfmain.cmo: transf.cmo htmltransf.cmo
|
