# HG changeset patch
# User boehmes
# Date 1273704288 -7200
# Node ID a20c5484dc9c26c560aecf2bf642dc7edbbad035
# Parent  631e961a9e95ab56433df6513de35525f9085868
more precise dependencies

diff -r 631e961a9e95 -r a20c5484dc9c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed May 12 23:54:06 2010 +0200
+++ b/src/HOL/IsaMakefile	Thu May 13 00:44:48 2010 +0200
@@ -1258,7 +1258,7 @@
 
 HOL-SMT_Examples: HOL-Word $(LOG)/HOL-SMT_Examples.gz
 
-$(LOG)/HOL-SMT_Examples.gz: $(OUT)/HOL-SMT SMT_Examples/ROOT.ML		\
+$(LOG)/HOL-SMT_Examples.gz: $(OUT)/HOL-Word SMT_Examples/ROOT.ML	\
   SMT_Examples/SMT_Examples.thy SMT_Examples/SMT_Examples.certs		\
   SMT_Examples/SMT_Word_Examples.thy SMT_Examples/SMT_Tests.thy		\
   SMT_Examples/SMT_Word_Examples.certs SMT_Examples/SMT_Tests.certs
@@ -1269,7 +1269,7 @@
 
 HOL-Boogie: HOL-Word $(OUT)/HOL-Boogie
 
-$(OUT)/HOL-Boogie: $(OUT)/HOL Boogie/ROOT.ML Boogie/Boogie.thy	\
+$(OUT)/HOL-Boogie: $(OUT)/HOL-Word Boogie/ROOT.ML Boogie/Boogie.thy	\
   Boogie/Tools/boogie_vcs.ML Boogie/Tools/boogie_loader.ML		\
   Boogie/Tools/boogie_commands.ML Boogie/Tools/boogie_tactics.ML
 	@cd Boogie; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-Word HOL-Boogie