more precise dependencies
authorkrauss
Mon Mar 21 14:25:59 2011 +0100 (2011-03-21)
changeset 42036a14e9cf805e0
parent 42035 fb155c75072d
child 42037 1571fde21911
more precise dependencies
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Mar 21 12:43:26 2011 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Mar 21 14:25:59 2011 +0100
     1.3 @@ -1315,7 +1315,8 @@
     1.4    Mirabelle/Tools/mirabelle_refute.ML					\
     1.5    Mirabelle/Tools/mirabelle_sledgehammer.ML 				\
     1.6    Mirabelle/Tools/mirabelle_sledgehammer_filter.ML			\
     1.7 -  Mirabelle/Tools/sledgehammer_tactics.ML \
     1.8 +  Mirabelle/Tools/sledgehammer_tactics.ML 				\
     1.9 +  Mirabelle/lib/Tools/mirabelle Mirabelle/lib/scripts/mirabelle.pl	\
    1.10    Library/FrechetDeriv.thy Library/Inner_Product.thy
    1.11  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle
    1.12  	@cd Library; $(ISABELLE_TOOL) mirabelle -q arith Inner_Product.thy # some arbitrary small test case