src/HOL/IsaMakefile
changeset 51238 20234cf043d1
parent 51237 22ba938ab10f
child 51239 67cc209493b2
--- a/src/HOL/IsaMakefile	Thu Feb 21 18:27:28 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,66 +0,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
-