src/HOL/IsaMakefile
author webertj
Fri, 19 Oct 2012 15:12:52 +0200
changeset 49962 a8cc904a6820
parent 48727 6461ad428015
permissions -rw-r--r--
Renamed {left,right}_distrib to distrib_{right,left}.

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