Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
author wenzelm
Thu, 10 Jan 2013 19:53:38 +0100
changeset 50808 1702ed63c2db
parent 48727 6461ad428015
permissions -rw-r--r--
more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";

#
# 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
isabelle