1OPTIONS = NO_OVERLAY
2EXTRA_CLEANS = Doc2Html.exe Doc2Tex.exe Doc2Txt.exe makebase.exe \
3               Lexer.lex.sml Parser.grm-sig.sml Parser.grm.sml
4MLYACCLIB = $(protect $(HOLDIR)/tools/mlyacc/mlyacclib/)
5MLYACCLIB_UIS = $(patsubst %,MLY_%.ui,base-sig join lrtable parser2 stream)
6
7all: makebase.exe Doc2Html.exe Doc2Tex.exe Doc2Txt.exe
8
9makebase.exe : runmakebase.uo MyDatabase.uo Htmlsigs.uo Parser.grm.uo Parsspec.uo Printbase.uo makebase.uo Symbolic.uo
10	$(HOLMOSMLC) -I $(MLYACCLIB) $(MLYACCLIB_UIS) -o makebase.exe MyDatabase.uo runmakebase.uo
11
12Doc2Html.exe : runDoc2Html.uo Doc2Html.uo ParseDoc.uo Symbolic.uo Flash.uo
13	$(HOLMOSMLC) -o Doc2Html.exe runDoc2Html.uo
14
15Doc2Tex.exe : runDoc2Tex.uo Doc2Tex.uo ParseDoc.uo Symbolic.uo Flash.uo
16	$(HOLMOSMLC) -o Doc2Tex.exe runDoc2Tex.uo
17
18Doc2Txt.exe: runDoc2Txt.uo Doc2Txt.uo ParseDoc.uo Symbolic.uo Flash.uo
19	$(HOLMOSMLC) -o Doc2Txt.exe runDoc2Txt.uo
20
21Lexer.lex.sml: Lexer.lex
22	$(protect $(HOLDIR)/tools/mllex/mllex.exe) $<
23
24Parser.grm-sig.sml Parser.grm.sml: Parser.grm
25	$(protect $(HOLDIR)/tools/mlyacc/src/mlyacc.exe) $<
26	$(MV) Parser.grm.sig Parser.grm-sig.sml
27
28MyWord32.uo MyWord32.ui: MyWord32.sml
29	$(MOSMLC) -c -toplevel $<
30
31MySML90.uo MySML90.ui: MySML90.sml
32	$(MOSMLC) -c -toplevel $<
33
34MyDatabase.uo MyDatabase.ui: MyDatabase.sml MyDatabase-sig.ui
35	$(MOSMLC) -c -toplevel MyDatabase-sig.ui $<
36
37MyDatabase-sig.uo MyDatabase-sig.ui: MyDatabase-sig.sml
38	$(MOSMLC) -c -toplevel $<
39
40HOLPage.uo: HOLPage.sml MyDatabase.ui
41	$(HOLMOSMLC) -c MyDatabase.ui $<
42
43Htmlsigs.uo: Htmlsigs.sml Htmlsigs.ui MyDatabase.ui
44	$(HOLMOSMLC) -c MyDatabase.ui $<
45
46Htmlsigs.ui: Htmlsigs.sig MyDatabase.ui
47	$(MOSMLC) -c MyDatabase.ui $<
48
49Parsspec.uo: Parsspec.sml Parser.grm.uo Lexer.lex.ui MySML90.ui MyDatabase.ui
50	$(MOSMLC) -c -I $(MLYACCLIB) $(MLYACCLIB_UIS) Parser.grm.ui Lexer.lex.ui MySML90.ui MyDatabase.ui $<
51
52Parser.grm-sig.ui Parser.grm-sig.uo: Parser.grm-sig.sml Asynt.uo
53	$(MOSMLC) -toplevel -c -I $(MLYACCLIB) $(MLYACCLIB_UIS) $<
54
55Parser.grm.uo: Parser.grm.sml Parser.grm-sig.ui
56	$(MOSMLC) -toplevel -c -I $(MLYACCLIB) $(MLYACCLIB_UIS) Parser.grm-sig.ui $<
57
58Lexer.lex.ui Lexer.lex.uo: Lexer.lex.sml Parser.grm-sig.ui
59	$(HOLMOSMLC) -toplevel -c Parser.grm-sig.ui $<
60
61makebase.uo: makebase.sml MyDatabase.ui Symbolic.ui Htmlsigs.ui Parsspec.uo Keepers.uo Printbase.uo HOLPage.uo
62	$(HOLMOSMLC) -I $(protect $(SIGOBJ)) -c MyDatabase.ui $<
63
64Printbase.ui: Printbase.sig MyDatabase.ui
65	$(MOSMLC) -c MyDatabase.ui $<
66
67Printbase.uo: Printbase.sml MyDatabase.ui
68	$(MOSMLC) -c MyDatabase.ui $<
69