src/Tools/WWW_Find/IsaMakefile

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/WWW_Find/IsaMakefile	Fri Nov 20 18:36:44 2009 +1100
@@ -0,0 +1,21 @@
+#
+# IsaMakefile for WWW_Find
+#
+# Provides static compile check for ML files only.
+
+
+OUT = $(ISABELLE_OUTPUT)
+LOG = $(OUT)/log
+
+LOGFILE = $(LOG)/Pure-WWW_Find.gz
+
+all: test
+test: $(LOGFILE)
+
+$(LOGFILE): echo.ML find_theorems.ML html_unicode.ML \
+  http_status.ML http_util.ML mime.ML scgi_req.ML scgi_server.ML \
+  socket_util.ML unicode_symbols.ML xhtml.ML ROOT.ML
+	cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find
+
+clean:
+	rm -f $(LOGFILE)