# HG changeset patch
# User wenzelm
# Date 1256553008 -3600
# Node ID 70522979c7be305b2f02c36b19ff8be4cd65f51b
# Parent  d6936fd7cda89b046cb7df1edf01730c90d5eed0
more precise dependencies, notably for HOL-Multivariate_Analysis;

diff -r d6936fd7cda8 -r 70522979c7be src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Oct 26 09:03:57 2009 +0100
+++ b/src/HOL/IsaMakefile	Mon Oct 26 11:30:08 2009 +0100
@@ -33,6 +33,7 @@
   HOL-MicroJava \
   HOL-Mirabelle \
   HOL-Modelcheck \
+  HOL-Multivariate_Analysis \
   HOL-NanoJava \
   HOL-Nominal-Examples \
   HOL-Number_Theory \
@@ -323,20 +324,17 @@
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/SetsAndFunctions.thy		\
   Library/Abstract_Rat.thy Library/BigO.thy Library/ContNotDenum.thy	\
-  Library/Efficient_Nat.thy 			 			\
-  Library/Sum_Of_Squares.thy Library/Sum_Of_Squares/sos_wrapper.ML	\
+  Library/Efficient_Nat.thy Library/Sum_Of_Squares.thy			\
+  Library/Sum_Of_Squares/sos_wrapper.ML					\
   Library/Sum_Of_Squares/sum_of_squares.ML Library/Fset.thy		\
-  Library/Glbs.thy							\
-  Library/normarith.ML Library/Executable_Set.thy			\
+  Library/Glbs.thy Library/normarith.ML Library/Executable_Set.thy	\
   Library/Infinite_Set.thy Library/FuncSet.thy				\
-  Library/Permutations.thy Library/Bit.thy				\
-  Library/FrechetDeriv.thy		\
+  Library/Permutations.thy Library/Bit.thy Library/FrechetDeriv.thy	\
   Library/Fraction_Field.thy Library/Fundamental_Theorem_Algebra.thy	\
   Library/Inner_Product.thy Library/Kleene_Algebra.thy			\
-  Library/Lattice_Syntax.thy			\
-  Library/Library.thy Library/List_Prefix.thy Library/List_Set.thy	\
-  Library/State_Monad.thy Library/Nat_Int_Bij.thy Library/Multiset.thy	\
-  Library/Permutation.thy	\
+  Library/Lattice_Syntax.thy Library/Library.thy			\
+  Library/List_Prefix.thy Library/List_Set.thy Library/State_Monad.thy	\
+  Library/Nat_Int_Bij.thy Library/Multiset.thy Library/Permutation.thy	\
   Library/Quotient.thy Library/Quicksort.thy Library/Nat_Infinity.thy	\
   Library/Word.thy Library/README.html Library/Continuity.thy		\
   Library/Order_Relation.thy Library/Nested_Environment.thy		\
@@ -1326,6 +1324,7 @@
 		$(LOG)/HOL-UNITY.gz $(LOG)/HOL-Modelcheck.gz		\
 		$(LOG)/HOL-Lambda.gz $(LOG)/HOL-Bali.gz			\
 		$(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz		\
+		$(OUT)/HOL-Multivariate_Analysis			\
 		$(LOG)/HOL-Nominal-Examples.gz $(LOG)/HOL-IOA.gz	\
 		$(LOG)/HOL-Lattice $(LOG)/HOL-Matrix			\
 		$(LOG)/HOL-Hahn_Banach.gz $(LOG)/HOL-SET_Protocol.gz	\
@@ -1333,7 +1332,7 @@
 		$(LOG)/TLA-Memory.gz $(LOG)/HOL-Library.gz		\
 		$(LOG)/HOL-Unix.gz $(OUT)/HOL-Word $(LOG)/HOL-Word.gz	\
 		$(LOG)/HOL-Word-Examples.gz $(OUT)/HOL-NSA		\
-		$(LOG)/HOL-NSA.gz $(LOG)/HOL-NSA-Examples.gz            \
-                $(LOG)/HOL-Mirabelle.gz $(LOG)/HOL-SMT.gz               \
-                $(LOG)/HOL-SMT-Examples.gz
+		$(LOG)/HOL-NSA.gz $(LOG)/HOL-NSA-Examples.gz		\
+		$(LOG)/HOL-Mirabelle.gz $(OUT)/HOL-SMT			\
+		$(LOG)/HOL-SMT.gz $(LOG)/HOL-SMT-Examples.gz