equal
deleted
inserted
replaced
26 Pure-WWW_Find: Pure $(LOGFILE) |
26 Pure-WWW_Find: Pure $(LOGFILE) |
27 |
27 |
28 Pure: |
28 Pure: |
29 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
29 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
30 |
30 |
31 $(LOGFILE): $(OUT)/Pure echo.ML find_theorems.ML html_unicode.ML \ |
31 $(LOGFILE): $(OUT)/Pure echo.ML find_theorems.ML html_unicode.ML \ |
32 html_templates.ML http_status.ML http_util.ML mime.ML scgi_req.ML \ |
32 html_templates.ML http_status.ML http_util.ML mime.ML scgi_req.ML \ |
33 scgi_server.ML socket_util.ML unicode_symbols.ML xhtml.ML yxml_find_theorems.ML \ |
33 scgi_server.ML server_socket.ML unicode_symbols.ML xhtml.ML \ |
34 ROOT.ML |
34 yxml_find_theorems.ML ROOT.ML |
35 @cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find |
35 @cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find |
36 |
36 |
37 |
37 |
38 ## clean |
38 ## clean |
39 |
39 |