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
Mon, 13 Aug 2012 19:51:48 +0200
changeset 48787 ab3e7f40f341
parent 48727 6461ad428015
permissions -rw-r--r--
fewer workarounds for MacOS to increase chances that COMMAND ("META") key works with Java 1.7 from Oracle;

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