src/Tools/WWW_Find/IsaMakefile
author wenzelm
Sun, 30 Jan 2011 13:02:18 +0100
changeset 41648 6d736d983d5c
parent 33822 e332b08bf0f3
child 42157 99e359a9db27
permissions -rw-r--r--
clarified example settings for Proof General;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33817
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
     1
#
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
     2
# IsaMakefile for WWW_Find
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
     3
#
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
     4
# Provides static compile check for ML files only.
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
     5
33822
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
     6
## targets
33817
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
     7
33822
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
     8
default: Pure-WWW_Find
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
     9
images:
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    10
test: Pure-WWW_Find
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    11
all: images test
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    12
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    13
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    14
## global settings
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    15
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    16
SRC = $(ISABELLE_HOME)/src
33817
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    17
OUT = $(ISABELLE_OUTPUT)
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    18
LOG = $(OUT)/log
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    19
33822
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    20
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    21
## Pure-WWW_Find
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    22
33817
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    23
LOGFILE = $(LOG)/Pure-WWW_Find.gz
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    24
33822
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    25
Pure-WWW_Find: Pure $(LOGFILE)
33817
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    26
33822
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    27
Pure:
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    28
	@cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    29
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    30
$(LOGFILE): $(OUT)/Pure echo.ML find_theorems.ML html_unicode.ML \
33817
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    31
  http_status.ML http_util.ML mime.ML scgi_req.ML scgi_server.ML \
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    32
  socket_util.ML unicode_symbols.ML xhtml.ML ROOT.ML
33822
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    33
	@cd ..; $(ISABELLE_TOOL) usedir Pure WWW_Find
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    34
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    35
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    36
## clean
33817
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    37
f6a4da31f2f1 WWW_Find component: find_theorems via web browser
kleing
parents:
diff changeset
    38
clean:
33822
e332b08bf0f3 provide standard isabelle make targets;
wenzelm
parents: 33817
diff changeset
    39
	@rm -f $(LOGFILE)