src/HOL/IsaMakefile
author hoelzl
Thu Jan 31 11:31:27 2013 +0100 (2013-01-31)
changeset 50999 3de230ed0547
parent 48727 6461ad428015
permissions -rw-r--r--
introduce order topology
     1 #
     2 # approximative IsaMakefile for legacy applications
     3 #
     4 
     5 default: HOL
     6 
     7 clean:
     8 	-@$(ISABELLE_TOOL) build -a -n -c
     9 
    10 all:
    11 	@$(ISABELLE_TOOL) build -a
    12 
    13 
    14 Pure: $(ISABELLE_OUTPUT)/Pure
    15 
    16 $(ISABELLE_OUTPUT)/Pure:
    17 	@$(ISABELLE_TOOL) build -b Pure
    18 
    19 
    20 HOL: $(ISABELLE_OUTPUT)/HOL
    21 
    22 $(ISABELLE_OUTPUT)/HOL:
    23 	@$(ISABELLE_TOOL) build -b HOL
    24 
    25 
    26 HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library
    27 
    28 $(ISABELLE_OUTPUT)/HOL-Library:
    29 	@$(ISABELLE_TOOL) build -b HOL-Library
    30 
    31 
    32 HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP
    33 
    34 $(ISABELLE_OUTPUT)/HOL-IMP:
    35 	@$(ISABELLE_TOOL) build -b HOL-IMP
    36 
    37 
    38 HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis
    39 
    40 $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis:
    41 	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
    42 
    43 
    44 HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
    45 
    46 $(ISABELLE_OUTPUT)/HOL-Probability:
    47 	@$(ISABELLE_TOOL) build -b HOL-Probability
    48 
    49 
    50 HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
    51 
    52 $(ISABELLE_OUTPUT)/HOL-Nominal:
    53 	@$(ISABELLE_TOOL) build -b HOL-Nominal
    54 
    55 
    56 HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word
    57 
    58 $(ISABELLE_OUTPUT)/HOL-Word:
    59 	@$(ISABELLE_TOOL) build -b HOL-Word
    60 
    61 
    62 HOLCF: $(ISABELLE_OUTPUT)/HOLCF
    63 
    64 $(ISABELLE_OUTPUT)/HOLCF:
    65 	@$(ISABELLE_TOOL) build -b HOLCF
    66