discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
#
# approximative IsaMakefile for legacy applications
#
default: HOL
clean:
-@$(ISABELLE_TOOL) build -a -n -c
all:
@$(ISABELLE_TOOL) build -a
Pure:
@$(ISABELLE_TOOL) build -b Pure
HOL:
@$(ISABELLE_TOOL) build -b HOL
HOL-Library:
@$(ISABELLE_TOOL) build -b HOL-Library
HOL-IMP:
@$(ISABELLE_TOOL) build -b HOL-IMP
HOL-Multivariate_Analysis:
@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
HOL-Nominal:
@$(ISABELLE_TOOL) build -b HOL-Nominal
HOL-Word:
@$(ISABELLE_TOOL) build -b HOL-Word
HOLCF:
@$(ISABELLE_TOOL) build -b HOLCF