--- 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)