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