src/HOL/IsaMakefile
author Christian Sternagel
Thu Aug 30 15:44:03 2012 +0900 (2012-08-30)
changeset 49093 fdc301f592c4
parent 48727 6461ad428015
permissions -rw-r--r--
forgot to add lemmas
wenzelm@2448
     1
#
wenzelm@48722
     2
# approximative IsaMakefile for legacy applications
wenzelm@48722
     3
#
wenzelm@2448
     4
wenzelm@4518
     5
default: HOL
wenzelm@33210
     6
wenzelm@48722
     7
clean:
wenzelm@48722
     8
	-@$(ISABELLE_TOOL) build -a -n -c
wenzelm@10135
     9
wenzelm@48722
    10
all:
wenzelm@48722
    11
	@$(ISABELLE_TOOL) build -a
haftmann@28401
    12
wenzelm@48723
    13
wenzelm@48723
    14
Pure: $(ISABELLE_OUTPUT)/Pure
wenzelm@48723
    15
wenzelm@48723
    16
$(ISABELLE_OUTPUT)/Pure:
wenzelm@48722
    17
	@$(ISABELLE_TOOL) build -b Pure
haftmann@27368
    18
wenzelm@48723
    19
wenzelm@48723
    20
HOL: $(ISABELLE_OUTPUT)/HOL
wenzelm@48723
    21
wenzelm@48723
    22
$(ISABELLE_OUTPUT)/HOL:
wenzelm@48722
    23
	@$(ISABELLE_TOOL) build -b HOL
wenzelm@2448
    24
wenzelm@48723
    25
wenzelm@48723
    26
HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library
wenzelm@48723
    27
wenzelm@48723
    28
$(ISABELLE_OUTPUT)/HOL-Library:
wenzelm@48722
    29
	@$(ISABELLE_TOOL) build -b HOL-Library
wenzelm@2448
    30
wenzelm@48723
    31
wenzelm@48723
    32
HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP
wenzelm@48723
    33
wenzelm@48723
    34
$(ISABELLE_OUTPUT)/HOL-IMP:
wenzelm@48722
    35
	@$(ISABELLE_TOOL) build -b HOL-IMP
wenzelm@2448
    36
wenzelm@48723
    37
wenzelm@48723
    38
HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis
wenzelm@48723
    39
wenzelm@48723
    40
$(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis:
wenzelm@48722
    41
	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
himmelma@33175
    42
wenzelm@48723
    43
hoelzl@48727
    44
HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
hoelzl@48727
    45
hoelzl@48727
    46
$(ISABELLE_OUTPUT)/HOL-Probability:
hoelzl@48727
    47
	@$(ISABELLE_TOOL) build -b HOL-Probability
hoelzl@48727
    48
hoelzl@48727
    49
wenzelm@48723
    50
HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
wenzelm@48723
    51
wenzelm@48723
    52
$(ISABELLE_OUTPUT)/HOL-Nominal:
wenzelm@48722
    53
	@$(ISABELLE_TOOL) build -b HOL-Nominal
berghofe@41566
    54
wenzelm@48723
    55
wenzelm@48723
    56
HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word
wenzelm@48723
    57
wenzelm@48723
    58
$(ISABELLE_OUTPUT)/HOL-Word:
wenzelm@48722
    59
	@$(ISABELLE_TOOL) build -b HOL-Word
huffman@40774
    60
wenzelm@48723
    61
wenzelm@48723
    62
HOLCF: $(ISABELLE_OUTPUT)/HOLCF
wenzelm@48723
    63
wenzelm@48723
    64
$(ISABELLE_OUTPUT)/HOLCF:
wenzelm@48722
    65
	@$(ISABELLE_TOOL) build -b HOLCF
huffman@40774
    66