author | wenzelm |
Sat, 07 Apr 2012 16:41:59 +0200 | |
changeset 47389 | e8552cba702d |
parent 45860 | 93eda35a8377 |
permissions | -rw-r--r-- |
33817 | 1 |
# |
2 |
# IsaMakefile for WWW_Find |
|
3 |
# |
|
4 |
# Provides static compile check for ML files only. |
|
5 |
||
33822 | 6 |
## targets |
33817 | 7 |
|
33822 | 8 |
default: Pure-WWW_Find |
9 |
images: |
|
10 |
test: Pure-WWW_Find |
|
11 |
all: images test |
|
45860 | 12 |
full: all |
42157 | 13 |
smlnj: all |
33822 | 14 |
|
15 |
||
16 |
## global settings |
|
17 |
||
18 |
SRC = $(ISABELLE_HOME)/src |
|
33817 | 19 |
OUT = $(ISABELLE_OUTPUT) |
20 |
LOG = $(OUT)/log |
|
21 |
||
33822 | 22 |
|
23 |
## Pure-WWW_Find |
|
24 |
||
33817 | 25 |
LOGFILE = $(LOG)/Pure-WWW_Find.gz |
26 |
||
33822 | 27 |
Pure-WWW_Find: Pure $(LOGFILE) |
33817 | 28 |
|
33822 | 29 |
Pure: |
30 |
@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
|
31 |
||
45026 | 32 |
$(LOGFILE): $(OUT)/Pure echo.ML find_theorems.ML html_unicode.ML \ |
33 |
html_templates.ML http_status.ML http_util.ML mime.ML scgi_req.ML \ |
|
45066
11f622794ad6
discontinued stream-based Socket_IO, which causes too many problems with Poly/ML and SML/NJ (reverting major parts of 5c0b0d67f9b1);
wenzelm
parents:
45026
diff
changeset
|
34 |
scgi_server.ML socket_util.ML unicode_symbols.ML xhtml.ML \ |
45026 | 35 |
yxml_find_theorems.ML ROOT.ML |
33822 | 36 |
@cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find |
37 |
||
38 |
||
39 |
## clean |
|
33817 | 40 |
|
41 |
clean: |
|
33822 | 42 |
@rm -f $(LOGFILE) |