#
# approximative IsaMakefile for legacy applications
#
default: HOL
clean:
-@$(ISABELLE_TOOL) build -a -n -c
all:
@$(ISABELLE_TOOL) build -a
Pure: $(ISABELLE_OUTPUT)/Pure
$(ISABELLE_OUTPUT)/Pure:
@$(ISABELLE_TOOL) build -b Pure
HOL: $(ISABELLE_OUTPUT)/HOL
$(ISABELLE_OUTPUT)/HOL:
@$(ISABELLE_TOOL) build -b HOL
HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library
$(ISABELLE_OUTPUT)/HOL-Library:
@$(ISABELLE_TOOL) build -b HOL-Library
HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP
$(ISABELLE_OUTPUT)/HOL-IMP:
@$(ISABELLE_TOOL) build -b HOL-IMP
HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis
$(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis:
@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
$(ISABELLE_OUTPUT)/HOL-Probability:
@$(ISABELLE_TOOL) build -b HOL-Probability
HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
$(ISABELLE_OUTPUT)/HOL-Nominal:
@$(ISABELLE_TOOL) build -b HOL-Nominal
HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word
$(ISABELLE_OUTPUT)/HOL-Word:
@$(ISABELLE_TOOL) build -b HOL-Word
HOLCF: $(ISABELLE_OUTPUT)/HOLCF
$(ISABELLE_OUTPUT)/HOLCF:
@$(ISABELLE_TOOL) build -b HOLCF