src/HOL/IsaMakefile
author webertj
Fri, 19 Oct 2012 15:12:52 +0200
changeset 49962 a8cc904a6820
parent 48727 6461ad428015
permissions -rw-r--r--
Renamed {left,right}_distrib to distrib_{right,left}.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2448
61337170db84 IsaMakefile for HOL;
wenzelm
parents:
diff changeset
     1
#
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
     2
# approximative IsaMakefile for legacy applications
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
     3
#
2448
61337170db84 IsaMakefile for HOL;
wenzelm
parents:
diff changeset
     4
4518
74c01296e818 improved targets;
wenzelm
parents: 4455
diff changeset
     5
default: HOL
33210
94ae82a4452f recovered sort indentation for "sort position", as documented in the file;
wenzelm
parents: 33204
diff changeset
     6
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
     7
clean:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
     8
	-@$(ISABELLE_TOOL) build -a -n -c
10135
c2a4dccf6e67 reorganized AxClasses;
wenzelm
parents: 10094
diff changeset
     9
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    10
all:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    11
	@$(ISABELLE_TOOL) build -a
28401
d5f39173444c separate HOL-Main image
haftmann
parents: 28393
diff changeset
    12
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    13
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    14
Pure: $(ISABELLE_OUTPUT)/Pure
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    15
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    16
$(ISABELLE_OUTPUT)/Pure:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    17
	@$(ISABELLE_TOOL) build -b Pure
27368
9f90ac19e32b established Plain theory and image
haftmann
parents: 27326
diff changeset
    18
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    19
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    20
HOL: $(ISABELLE_OUTPUT)/HOL
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    21
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    22
$(ISABELLE_OUTPUT)/HOL:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    23
	@$(ISABELLE_TOOL) build -b HOL
2448
61337170db84 IsaMakefile for HOL;
wenzelm
parents:
diff changeset
    24
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    25
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    26
HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    27
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    28
$(ISABELLE_OUTPUT)/HOL-Library:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    29
	@$(ISABELLE_TOOL) build -b HOL-Library
2448
61337170db84 IsaMakefile for HOL;
wenzelm
parents:
diff changeset
    30
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    31
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    32
HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    33
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    34
$(ISABELLE_OUTPUT)/HOL-IMP:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    35
	@$(ISABELLE_TOOL) build -b HOL-IMP
2448
61337170db84 IsaMakefile for HOL;
wenzelm
parents:
diff changeset
    36
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    37
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    38
HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    39
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    40
$(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    41
	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
33175
2083bde13ce1 distinguished session for multivariate analysis
himmelma
parents: 33083
diff changeset
    42
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    43
48727
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models
hoelzl
parents: 48723
diff changeset
    44
HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models
hoelzl
parents: 48723
diff changeset
    45
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models
hoelzl
parents: 48723
diff changeset
    46
$(ISABELLE_OUTPUT)/HOL-Probability:
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models
hoelzl
parents: 48723
diff changeset
    47
	@$(ISABELLE_TOOL) build -b HOL-Probability
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models
hoelzl
parents: 48723
diff changeset
    48
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models
hoelzl
parents: 48723
diff changeset
    49
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    50
HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    51
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    52
$(ISABELLE_OUTPUT)/HOL-Nominal:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    53
	@$(ISABELLE_TOOL) build -b HOL-Nominal
41566
676b32bea254 Added HOL-SPARK and removed old_primrec.ML
berghofe
parents: 41505
diff changeset
    54
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    55
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    56
HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    57
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    58
$(ISABELLE_OUTPUT)/HOL-Word:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    59
	@$(ISABELLE_TOOL) build -b HOL-Word
40774
0437dbc127b3 moved directory src/HOLCF to src/HOL/HOLCF;
huffman
parents: 40676
diff changeset
    60
48723
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    61
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    62
HOLCF: $(ISABELLE_OUTPUT)/HOLCF
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    63
0829e958f0aa more legacy targets;
wenzelm
parents: 48722
diff changeset
    64
$(ISABELLE_OUTPUT)/HOLCF:
48722
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
wenzelm
parents: 48625
diff changeset
    65
	@$(ISABELLE_TOOL) build -b HOLCF
40774
0437dbc127b3 moved directory src/HOLCF to src/HOL/HOLCF;
huffman
parents: 40676
diff changeset
    66