# HG changeset patch
# User wenzelm
# Date 1344378126 -7200
# Node ID 0829e958f0aabfefbb280c7fdd81f3127b505092
# Parent  a5e3ba7cbb2a667ceb4f659bf9749e33c9b44f4d
more legacy targets;

diff -r a5e3ba7cbb2a -r 0829e958f0aa src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Aug 07 23:43:05 2012 +0200
+++ b/src/HOL/IsaMakefile	Wed Aug 08 00:22:06 2012 +0200
@@ -10,27 +10,51 @@
 all:
 	@$(ISABELLE_TOOL) build -a
 
-Pure:
+
+Pure: $(ISABELLE_OUTPUT)/Pure
+
+$(ISABELLE_OUTPUT)/Pure:
 	@$(ISABELLE_TOOL) build -b Pure
 
-HOL:
+
+HOL: $(ISABELLE_OUTPUT)/HOL
+
+$(ISABELLE_OUTPUT)/HOL:
 	@$(ISABELLE_TOOL) build -b HOL
 
-HOL-Library:
+
+HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library
+
+$(ISABELLE_OUTPUT)/HOL-Library:
 	@$(ISABELLE_TOOL) build -b HOL-Library
 
-HOL-IMP:
+
+HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP
+
+$(ISABELLE_OUTPUT)/HOL-IMP:
 	@$(ISABELLE_TOOL) build -b HOL-IMP
 
-HOL-Multivariate_Analysis:
+
+HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis
+
+$(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis:
 	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
 
-HOL-Nominal:
+
+HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
+
+$(ISABELLE_OUTPUT)/HOL-Nominal:
 	@$(ISABELLE_TOOL) build -b HOL-Nominal
 
-HOL-Word:
+
+HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word
+
+$(ISABELLE_OUTPUT)/HOL-Word:
 	@$(ISABELLE_TOOL) build -b HOL-Word
 
-HOLCF:
+
+HOLCF: $(ISABELLE_OUTPUT)/HOLCF
+
+$(ISABELLE_OUTPUT)/HOLCF:
 	@$(ISABELLE_TOOL) build -b HOLCF