author | kleing |
Fri, 20 Nov 2009 18:36:44 +1100 | |
changeset 33817 | f6a4da31f2f1 |
child 33822 | e332b08bf0f3 |
permissions | -rw-r--r-- |
33817 | 1 |
# |
2 |
# IsaMakefile for WWW_Find |
|
3 |
# |
|
4 |
# Provides static compile check for ML files only. |
|
5 |
||
6 |
||
7 |
OUT = $(ISABELLE_OUTPUT) |
|
8 |
LOG = $(OUT)/log |
|
9 |
||
10 |
LOGFILE = $(LOG)/Pure-WWW_Find.gz |
|
11 |
||
12 |
all: test |
|
13 |
test: $(LOGFILE) |
|
14 |
||
15 |
$(LOGFILE): echo.ML find_theorems.ML html_unicode.ML \ |
|
16 |
http_status.ML http_util.ML mime.ML scgi_req.ML scgi_server.ML \ |
|
17 |
socket_util.ML unicode_symbols.ML xhtml.ML ROOT.ML |
|
18 |
cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find |
|
19 |
||
20 |
clean: |
|
21 |
rm -f $(LOGFILE) |