# HG changeset patch
# User wenzelm
# Date 1258728516 -3600
# Node ID e332b08bf0f375a8c97ad667fde0f17ca36c24e0
# Parent  ee995d52580d4597b981ee842a2390c8a350321f
provide standard isabelle make targets;
slightly more accurate dependencies;

diff -r ee995d52580d -r e332b08bf0f3 src/Tools/WWW_Find/IsaMakefile
--- a/src/Tools/WWW_Find/IsaMakefile	Fri Nov 20 15:34:11 2009 +0100
+++ b/src/Tools/WWW_Find/IsaMakefile	Fri Nov 20 15:48:36 2009 +0100
@@ -3,19 +3,37 @@
 #
 # Provides static compile check for ML files only.
 
+## targets
 
+default: Pure-WWW_Find
+images:
+test: Pure-WWW_Find
+all: images test
+
+
+## global settings
+
+SRC = $(ISABELLE_HOME)/src
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
+
+## Pure-WWW_Find
+
 LOGFILE = $(LOG)/Pure-WWW_Find.gz
 
-all: test
-test: $(LOGFILE)
+Pure-WWW_Find: Pure $(LOGFILE)
 
-$(LOGFILE): echo.ML find_theorems.ML html_unicode.ML \
+Pure:
+	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
+
+$(LOGFILE): $(OUT)/Pure 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
+	@cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find
+
+
+## clean
 
 clean:
-	rm -f $(LOGFILE)
+	@rm -f $(LOGFILE)