Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more precise dependencies
authorboehmes
Thu, 13 May 2010 00:44:48 +0200
changeset 36901 a20c5484dc9c
parent 36900 631e961a9e95
child 36902 c6bae4456741
more precise dependencies
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle